2016-04-08 00:42:11 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
NAME='nlopt-2.4.2'
|
|
|
|
|
2016-04-11 19:16:38 +01:00
|
|
|
if (( $# != 1 )); then
|
|
|
|
echo "usage: `basename $0` <prefix> {osx|linux}" 1>&2
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
PREFIX=$1
|
|
|
|
|
2016-04-08 00:42:11 +01:00
|
|
|
set -ex
|
|
|
|
INITDIR=`pwd`
|
|
|
|
cd local/build
|
|
|
|
wget http://ab-initio.mit.edu/nlopt/${NAME}.tar.gz
|
|
|
|
tar -xzvf ${NAME}.tar.gz
|
|
|
|
mkdir -p ${NAME}/build
|
|
|
|
cd ${NAME}/build
|
2016-04-11 19:16:38 +01:00
|
|
|
../configure --prefix=${PREFIX} --with-cxx --without-guile --without-python --without-octave --without-matlab --with-pic
|
2016-04-08 00:42:11 +01:00
|
|
|
make -j4
|
|
|
|
make install
|
|
|
|
cd ${INITDIR}/local
|
|
|
|
touch .built.nlopt
|
|
|
|
cd ${INITDIR}
|