Skip to content
Browse files

Add jenkins scripts for autotest

  • Loading branch information...
1 parent d3d09ed commit 367a423d9f40972b5c61c35edc7ddb72338036c2 @avsm avsm committed Oct 5, 2012
Showing with 20 additions and 0 deletions.
  1. +2 −0 jenkins/10-opam-prepare.sh
  2. +5 −0 jenkins/20-opam-init.sh
  3. +13 −0 jenkins/30-opam-packages.sh
View
2 jenkins/10-opam-prepare.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+apt-get -y install ocaml libssl-dev
View
5 jenkins/20-opam-init.sh
@@ -0,0 +1,5 @@
+#!/bin/sh -e
+rm -rf .opam
+./configure --prefix=$HOME/opam-bin
+make
+make install
View
13 jenkins/30-opam-packages.sh
@@ -0,0 +1,13 @@
+#!/bin/sh -ex
+OPAM=$HOME/opam-bin/bin/opam
+ROOT="`pwd`/.opam"
+rm -rf .opam
+$OPAM --yes --root $ROOT init .
+$OPAM --yes --root $ROOT remote -add dev git://github.com/mirage/opam-repo-dev
+if [ "${compiler}" != "system" ]; then
+ $OPAM --yes --root $ROOT switch ${compiler}
+fi
+if [ "${packages}" = "all" ]; then
+ packages=`$OPAM --root $ROOT list -short`
+fi
+$OPAM --yes --root $ROOT install ${packages}

0 comments on commit 367a423

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