Skip to content
Browse files

add source install for nlopt

  • Loading branch information...
1 parent 82b5447 commit 0bd665bce3b3971af10aa9ddc14a408c9c786f8a @avsm avsm committed Nov 12, 2012
Showing with 10 additions and 0 deletions.
  1. +10 −0 jenkins/10-opam-source-install.sh
View
10 jenkins/10-opam-source-install.sh
@@ -0,0 +1,10 @@
+#!/bin/sh -ex
+
+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
+sudo make install
+cd ..
+rm -rf nlopt-2.3

0 comments on commit 0bd665b

Please sign in to comment.
Something went wrong with that request. Please try again.