sync jenkins

samoht · Nov 29, 2012 · 9361039 · 9361039
1 parent b241f0d
commit 9361039
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jenkins/10-opam-source-install.sh b/jenkins/10-opam-source-install.sh
@@ -4,7 +4,7 @@ rm -f nlopt-2.3.tar.gz
 curl -OL http://ab-initio.mit.edu/nlopt/nlopt-2.3.tar.gz
 tar -zxvf nlopt-2.3.tar.gz
 cd nlopt-2.3
-./configure && make
+env CFLAGS="-fPIC" ./configure && make
 sudo make install
 cd ..
 rm -rf nlopt-2.3