2016-04-08 00:42:11 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2021-11-16 21:35:35 +00:00
|
|
|
if (( $# != 2 )); then
|
|
|
|
echo "usage: `basename $0` <prefix> <ntasks>" 1>&2
|
2016-04-08 00:42:11 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
2016-04-11 19:16:38 +01:00
|
|
|
PREFIX=$1
|
2021-11-16 21:35:35 +00:00
|
|
|
NTASKS=$2
|
2016-04-08 00:42:11 +01:00
|
|
|
|
|
|
|
set -ex
|
2020-01-10 14:15:40 +00:00
|
|
|
INITDIR=$(pwd -P)
|
2020-01-11 20:16:56 +00:00
|
|
|
mkdir -p ${PREFIX}
|
2020-01-10 14:15:40 +00:00
|
|
|
cd ${PREFIX}
|
|
|
|
PREFIX=$(pwd -P)
|
|
|
|
cd ${INITDIR}
|
2021-11-16 21:35:35 +00:00
|
|
|
./install-deps.sh ${PREFIX} ${NTASKS}
|
2016-04-08 00:42:11 +01:00
|
|
|
cd ..
|
|
|
|
./bootstrap.sh
|
|
|
|
mkdir -p build
|
|
|
|
cd build
|
2021-11-16 21:35:35 +00:00
|
|
|
../configure --prefix=${PREFIX} --with-minuit=${PREFIX} --with-nlopt=${PREFIX} --with-hdf5=${PREFIX} --with-gsl=${PREFIX} CXXFLAGS="${CXXFLAGS} -O3 -march=native -mtune=native"
|
|
|
|
make -j${NTASKS}
|
2016-04-08 00:42:11 +01:00
|
|
|
make install
|