From: Timo Heister Date: Tue, 22 Jul 2014 11:03:24 +0000 (+0200) Subject: p4est-setup.sh can now also build from source directory X-Git-Tag: v8.2.0-rc1~262^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8dd22fe3affcc0cd49f68ad15cdf59042047256e;p=dealii.git p4est-setup.sh can now also build from source directory --- diff --git a/doc/external-libs/p4est-setup.sh b/doc/external-libs/p4est-setup.sh index 3d2ef13dfb..6876059754 100755 --- a/doc/external-libs/p4est-setup.sh +++ b/doc/external-libs/p4est-setup.sh @@ -30,6 +30,7 @@ BUILD_DEBUG="$BUILD_DIR/DEBUG" function busage() { echo "Usage: `basename $0` []" + echo " or: `basename $0` /path/to/p4est-src/ []" } function bdie () { echo "Error: $@" @@ -50,13 +51,18 @@ fi echo "CFLAGS_DEBUG: $CFLAGS_DEBUG" TGZ="$1"; shift -if test ! -f "$TGZ" ; then +if test -d "$TGZ" ; then + SRCDIR="$TGZ" + echo "using existing source dir '$SRCDIR'" +else + if test ! -f "$TGZ" ; then busage bdie "File not found" -fi -if ! (echo "$TGZ" | grep -q 'p4est.*.tar.gz') ; then + fi + if ! (echo "$TGZ" | grep -q 'p4est.*.tar.gz') ; then busage bdie "File name mismatch" + fi fi # choose names for fast and debug installation directories @@ -80,25 +86,28 @@ if test -d "$BUILD_DIR" ; then rm -rf "$BUILD_DIR" fi -DIR=`echo "$TGZ" | sed 's/\(p4est.*\).tar.gz/\1/'` -DIR=`basename $DIR` -echo "Unpack directory: $UNPACK/$DIR" -if test -d "$UNPACK/$DIR" ; then +if test -f "$TGZ" ; then + DIR=`echo "$TGZ" | sed 's/\(p4est.*\).tar.gz/\1/'` + DIR=`basename $DIR` + echo "Unpack directory: $UNPACK/$DIR" + if test -d "$UNPACK/$DIR" ; then echo "Source directory found (remove it to unpack anew)" -else + else echo -n "Unpacking... " tar -xvz -f "$TGZ" -C "$UNPACK" >/dev/null echo "done" + fi + SRCDIR=$UNPACK/$DIR fi -test -f "$UNPACK/$DIR/src/p4est.h" || bdie "Main header file missing" -test -f "$UNPACK/$DIR/configure" || bdie "Configure script missing" +test -f "$SRCDIR/src/p4est.h" || bdie "Main header file missing" +test -f "$SRCDIR/configure" || bdie "Configure script missing" echo "See output in files .../config.output and .../make.output" echo echo "Build FAST version in $BUILD_FAST" mkdir -p "$BUILD_FAST" cd "$BUILD_FAST" -"$UNPACK/$DIR/configure" --enable-mpi --enable-shared \ +"$SRCDIR/configure" --enable-mpi --enable-shared \ --disable-vtk-binary --without-blas \ --prefix="$INSTALL_FAST" CFLAGS="$CFLAGS_FAST" \ CPPFLAGS="-DSC_LOG_PRIORITY=SC_LP_ESSENTIAL" \ @@ -112,7 +121,7 @@ echo echo "Build DEBUG version in $BUILD_DEBUG" mkdir -p "$BUILD_DEBUG" cd "$BUILD_DEBUG" -"$UNPACK/$DIR/configure" --enable-debug --enable-mpi --enable-shared \ +"$SRCDIR/configure" --enable-debug --enable-mpi --enable-shared \ --disable-vtk-binary --without-blas \ --prefix="$INSTALL_DEBUG" CFLAGS="$CFLAGS_DEBUG" \ CPPFLAGS="-DSC_LOG_PRIORITY=SC_LP_ESSENTIAL" \