diff --git a/build.sh b/build.sh new file mode 100644 index 0000000000000000000000000000000000000000..35ce0831665ce378900fc5cf02b038b86d38fa24 --- /dev/null +++ b/build.sh @@ -0,0 +1,36 @@ +#!/bin/sh + +set -e +set -x + +./autogen.sh + +if [ "$xMPI" = "1" ] ; then + #openmpi + export LD_LIBRARY_PATH="/usr/lib/openmpi/lib:$LD_LIBRARY_PATH" + export CPATH="/usr/lib/openmpi/include:$CPATH" + export PATH="/usr/include/mpi:$PATH" + CONFIGURE_MPI="" +else + CONFIGURE_MPI="--disable-mpi" +fi + +if [ "$xInSource" = "InSource+" ] ; then + CONFIGURE="./configure" +else + MUSIC_VPATH=$WORKSPACE/build + mkdir "$MUSIC_VPATH" + cd "$MUSIC_VPATH" + CONFIGURE="../configure" +fi + +MUSIC_RESULT=$WORKSPACE/result +mkdir "$MUSIC_RESULT" + +$CONFIGURE \ + --prefix="$MUSIC_RESULT" \ + $CONFIGURE_MPI + +make +make install +make installcheck