Browse files

sync jenkins script for remote/local tests

  • Loading branch information...
1 parent f02d7d8 commit faad28d0e250d585e9a3d953528093541a2a8283 @avsm 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
View
7 jenkins/20-opam-init.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
View
5 jenkins/30-opam-packages.sh
@@ -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
View
3 jenkins/31-opam-mirage-packages.sh
@@ -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 faad28d

Please sign in to comment.