INSTALL_PATH=${INSTALL_PATH}/${NAME}
package_specific_setup() {
+ # 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/\")."
+
function bdie() {
echo "Error: $@"
exit 1
"$@" >config.output || bdie "Error in configure"
make -C sc -j${JOBS} >make.output || bdie "Error in make sc"
make -j${JOBS} >>make.output || bdie "Error in make p4est"
+ # ensure that we built p4est with zlib
+ find "${BUILD_FAST}" -name "p4est_config.h" -type f -exec \
+ grep -q "P4EST_HAVE_ZLIB *1" {} \; \
+ || bdie "${MISSING_ZLIB_MESSAGE}"
make install >>make.output || bdie "Error in make install"
echo "FAST version installed in ${INSTALL_FAST}"
"$@" >config.output || bdie "Error in configure"
make -C sc -j${JOBS} >make.output || bdie "Error in make sc"
make -j${JOBS} >>make.output || bdie "Error in make p4est"
+ # ensure that we built p4est with zlib
+ find "$BUILD_DEBUG" -name "p4est_config.h" -type f -exec \
+ grep -q "P4EST_HAVE_ZLIB *1" {} \; \
+ || bdie "$MISSING_ZLIB_MESSAGE"
make install >>make.output || bdie "Error in make install"
- grep -q "#define P4EST_HAVE_ZLIB" ${INSTALL_DEBUG}/include/p4est_config.h || bdie "Error: p4est couldn't find zlib"
echo "DEBUG version installed in ${INSTALL_DEBUG}"
echo