Permalink
Browse files

Merge pull request #229 from avsm/master

jenkins update
  • Loading branch information...
2 parents f02d7d8 + faad28d commit be37f76d4eb9952b34bc1b29b689787839a06cdd @samoht samoht committed Oct 9, 2012
Showing with 9 additions and 6 deletions.
  1. +4 −3 jenkins/20-opam-init.sh
  2. +3 −2 jenkins/30-opam-packages.sh
  3. +2 −1 jenkins/31-opam-mirage-packages.sh
@@ -1,5 +1,6 @@
-#!/bin/sh -e
-rm -rf .opam
-./configure --prefix=$HOME/opam-bin
+#!/bin/sh -ex
+PREFIX=$1
+if [ "$PREFIX" = "" ]; then echo Need prefix as first arg; exit 1; fi
+./configure --prefix=$HOME/opam-bin/$PREFIX
make
make install
@@ -1,8 +1,9 @@
#!/bin/sh -ex
-OPAM=$HOME/opam-bin/bin/opam
+PREFIX=$1
+OPAM=$HOME/opam-bin/$PREFIX/bin/opam
ROOT=`echo /b/${JOB_NAME} | sed -e s,=,_,g`
rm -rf ${ROOT}
-$OPAM --yes --root $ROOT init .
+$OPAM --yes --root $ROOT init $2
if [ "${compiler}" != "system" ]; then
$OPAM --yes --root $ROOT switch ${compiler}
fi
@@ -1,5 +1,6 @@
#!/bin/sh -ex
-OPAM=$HOME/opam-bin/bin/opam
+PREFIX=$1
+OPAM=$HOME/opam-bin/$PREFIX/bin/opam
ROOT=`echo /b/${JOB_NAME} | sed -e s,=,_,g`
rm -rf ${ROOT}
$OPAM --yes --root $ROOT init .

0 comments on commit be37f76

Please sign in to comment.