From 51efb2a81f8df161b43b1f18cd7cc0d98e64dbb1 Mon Sep 17 00:00:00 2001 From: Antonin Portelli Date: Mon, 13 Jan 2020 16:40:04 +0000 Subject: [PATCH] nlopt CI linking fix --- ci-scripts/install-nlopt.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/ci-scripts/install-nlopt.sh b/ci-scripts/install-nlopt.sh index 0a73162..3851888 100755 --- a/ci-scripts/install-nlopt.sh +++ b/ci-scripts/install-nlopt.sh @@ -19,10 +19,7 @@ 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 -cmake -DBUILD_SHARED_LIBS=OFF -DCMAKE_INSTALL_PREFIX=${PREFIX} .. +cmake -DCMAKE_INSTALL_PREFIX=${PREFIX} -DCMAKE_BUILD_WITH_INSTALL_NAME_DIR=TRUE -DCMAKE_INSTALL_NAME_DIR="${PREFIX}/lib" .. make -j4 make install cd ${INITDIR}/local