From a1fae4356eb63a69bcb5270fd81edb6c8ce06e11 Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Thu, 9 Jan 2020 13:43:52 +0000
Subject: [PATCH] CI scripts build a static version of NLOpt

---
 ci-scripts/install-nlopt.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ci-scripts/install-nlopt.sh b/ci-scripts/install-nlopt.sh
index db97c5d..a46f85f 100755
--- a/ci-scripts/install-nlopt.sh
+++ b/ci-scripts/install-nlopt.sh
@@ -19,6 +19,9 @@ cd ${NAME}/build
 cmake -DCMAKE_INSTALL_PREFIX=${PREFIX} ..
 make -j4 
 make install
+cmake -DBUILD_SHARED_LIBS=OFF -DCMAKE_INSTALL_PREFIX=${PREFIX} ..
+make -j4 
+make install
 cd ${INITDIR}/local
 touch .built.nlopt
 cd ${INITDIR}