From: David Wells Date: Sun, 23 Jul 2017 21:02:38 +0000 (-0400) Subject: Fail to install p4est if it is not compiled with zlib. X-Git-Tag: v9.0.0-rc1~1389^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F4648%2Fhead;p=dealii.git Fail to install p4est if it is not compiled with zlib. --- diff --git a/doc/external-libs/p4est-setup.sh b/doc/external-libs/p4est-setup.sh index 6876059754..9bf283b265 100755 --- a/doc/external-libs/p4est-setup.sh +++ b/doc/external-libs/p4est-setup.sh @@ -20,6 +20,13 @@ # This program comes with ABSOLUTELY NO WARRANTY. +# error message when zlib is not found +MISSING_ZLIB_MESSAGE="deal.II requires that p4est be built with zlib support. Please \ +either ensure that zlib is installed in a standard location or add appropriate \ +flags to LDFLAGS and CPPFLAGS to both calls to configure to describe where zlib's \ +shared object files and headers are (e.g., LDFLAGS=\"-L/path/to/shared-objects/\" \ +and CPPFLAGS=\"-DSC_LOG_PRIORITY=SC_LP_ESSENTIAL -I/path/to/headers/\")." + # unpack under current directory UNPACK=`pwd` @@ -114,6 +121,9 @@ cd "$BUILD_FAST" "$@" > config.output || bdie "Error in configure" make -C sc -j 8 > make.output || bdie "Error in make sc" make -j 8 >> make.output || bdie "Error in make p4est" +# ensure that we built p4est with zlib +grep -q 'P4EST_HAVE_ZLIB *1' "$BUILD_FAST/src/p4est_config.h" \ + || bdie "$MISSING_ZLIB_MESSAGE" make install >> make.output || bdie "Error in make install" echo "FAST version installed in $INSTALL_FAST" @@ -128,6 +138,9 @@ cd "$BUILD_DEBUG" "$@" > config.output || bdie "Error in configure" make -C sc -j 8 > make.output || bdie "Error in make sc" make -j 8 >> make.output || bdie "Error in make p4est" +# ensure that we built p4est with zlib +grep -q 'P4EST_HAVE_ZLIB *1' "$BUILD_DEBUG/src/p4est_config.h" \ + || bdie "$MISSING_ZLIB_MESSAGE" make install >> make.output || bdie "Error in make install" echo "DEBUG version installed in $INSTALL_DEBUG" echo