#!/usr/bin/env bash NAME='2.6.1' if (( $# != 1 )); then echo "usage: `basename $0` " 1>&2 exit 1 fi PREFIX=$1 set -ex INITDIR=`pwd` cd local/build wget https://github.com/stevengj/nlopt/archive/v${NAME}.tar.gz tar -xzvf v${NAME}.tar.gz NAME=nlopt-${NAME} mkdir -p ${NAME}/build cd ${NAME}/build cmake -DCMAKE_INSTALL_PREFIX=${PREFIX} .. make -j4 make install cd ${INITDIR}/local touch .built.nlopt cd ${INITDIR}