2019-04-26 16:54:04 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2024-02-10 17:39:22 +00:00
|
|
|
name='gsl-2.6'
|
2019-04-26 16:54:04 +01:00
|
|
|
|
2024-02-10 17:39:22 +00:00
|
|
|
if (($# != 2)); then
|
|
|
|
echo "usage: $(basename "$0") <prefix> <ntasks>" 1>&2
|
2019-04-26 16:54:04 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
2024-02-10 17:39:22 +00:00
|
|
|
prefix=$1
|
|
|
|
ntasks=$2
|
2019-04-26 16:54:04 +01:00
|
|
|
|
|
|
|
set -ex
|
2024-02-10 17:39:22 +00:00
|
|
|
init_dir=$(pwd -P)
|
|
|
|
mkdir -p "${prefix}"
|
|
|
|
cd "${prefix}"
|
|
|
|
prefix=$(pwd -P)
|
|
|
|
cd "${init_dir}/local/build"
|
|
|
|
wget http://ftpmirror.gnu.org/gsl/${name}.tar.gz
|
|
|
|
tar -xzvf ${name}.tar.gz
|
|
|
|
mkdir -p ${name}/build
|
|
|
|
cd ${name}/build
|
|
|
|
../configure --prefix="${prefix}"
|
|
|
|
make -j"${ntasks}"
|
2019-04-26 16:54:04 +01:00
|
|
|
make install
|
2024-02-10 17:39:22 +00:00
|
|
|
cd "${init_dir}/local"
|
2019-04-26 16:54:04 +01:00
|
|
|
touch .built.gsl
|
2024-02-10 17:39:22 +00:00
|
|
|
cd "${init_dir}"
|