2016-04-08 00:42:11 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2019-11-28 12:30:17 +00:00
|
|
|
NAME='2.6.1'
|
2016-04-08 00:42:11 +01:00
|
|
|
|
2016-04-11 19:16:38 +01:00
|
|
|
if (( $# != 1 )); then
|
2019-04-26 17:36:44 +01:00
|
|
|
echo "usage: `basename $0` <prefix>" 1>&2
|
2016-04-11 19:16:38 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
PREFIX=$1
|
|
|
|
|
2016-04-08 00:42:11 +01:00
|
|
|
set -ex
|
2020-01-10 11:59:07 +00:00
|
|
|
INITDIR=$(pwd -P)
|
|
|
|
cd ${PREFIX}
|
|
|
|
PREFIX=$(pwd -P)
|
|
|
|
cd ${INITDIR}/local/build
|
2019-11-28 12:30:17 +00:00
|
|
|
wget https://github.com/stevengj/nlopt/archive/v${NAME}.tar.gz
|
|
|
|
tar -xzvf v${NAME}.tar.gz
|
|
|
|
NAME=nlopt-${NAME}
|
2016-04-08 00:42:11 +01:00
|
|
|
mkdir -p ${NAME}/build
|
|
|
|
cd ${NAME}/build
|
2020-01-10 12:09:39 +00:00
|
|
|
cmake -DCMAKE_INSTALL_PREFIX=${PREFIX} ..
|
2016-04-08 00:42:11 +01:00
|
|
|
make -j4
|
|
|
|
make install
|
2020-01-10 12:09:39 +00:00
|
|
|
cmake -DBUILD_SHARED_LIBS=OFF -DCMAKE_INSTALL_PREFIX=${PREFIX} ..
|
2020-01-09 13:43:52 +00:00
|
|
|
make -j4
|
|
|
|
make install
|
2016-04-08 00:42:11 +01:00
|
|
|
cd ${INITDIR}/local
|
|
|
|
touch .built.nlopt
|
|
|
|
cd ${INITDIR}
|