2016-04-08 00:42:11 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
if (( $# != 2 )); then
|
|
|
|
|
echo "usage: `basename $0` <prefix> {osx|linux}" 1>&2
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
2016-04-11 19:16:38 +01:00
|
|
|
PREFIX=$1
|
2016-04-08 00:42:11 +01:00
|
|
|
OS=$2
|
|
|
|
|
|
|
|
|
|
set -ex
|
2016-04-11 19:16:38 +01:00
|
|
|
./install-deps.sh ${PREFIX}
|
2016-04-08 00:42:11 +01:00
|
|
|
cd ..
|
|
|
|
|
./bootstrap.sh
|
|
|
|
|
mkdir -p build
|
|
|
|
|
cd build
|
|
|
|
|
if [[ "$OS" == "osx" ]]; then EXTRA_FLAGS='--with-gsl=/usr/local'; fi
|
2016-04-11 19:16:38 +01:00
|
|
|
../configure --prefix=$PREFIX --with-minuit=$PREFIX --with-nlopt=$PREFIX --with-latcore=$PREFIX --with-hdf5=$PREFIX $EXTRA_FLAGS
|
2016-04-08 00:42:11 +01:00
|
|
|
make -j4
|
|
|
|
|
make install
|
