Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100755 14 lines (13 sloc) 0.393 kb
367a423 Anil Madhavapeddy Add jenkins scripts for autotest
avsm authored
1 #!/bin/sh -ex
faad28d Anil Madhavapeddy sync jenkins script for remote/local tests
avsm authored
2 PREFIX=$1
3 OPAM=$HOME/opam-bin/$PREFIX/bin/opam
67c03d8 Anil Madhavapeddy sync jenkins scripts
avsm authored
4 ROOT=`echo /x/${JOB_NAME} | sed -e "s,=,_,g" -e "s/,/-/g"`
a5b466a Anil Madhavapeddy sync latest jenkins scripts
avsm authored
5 rm -rf ${ROOT}
faad28d Anil Madhavapeddy sync jenkins script for remote/local tests
avsm authored
6 $OPAM --yes --root $ROOT init $2
367a423 Anil Madhavapeddy Add jenkins scripts for autotest
avsm authored
7 if [ "${compiler}" != "system" ]; then
8 $OPAM --yes --root $ROOT switch ${compiler}
9 fi
10 if [ "${packages}" = "all" ]; then
11 packages=`$OPAM --root $ROOT list -short`
12 fi
67c03d8 Anil Madhavapeddy sync jenkins scripts
avsm authored
13 $OPAM --verbose --yes --root $ROOT install ${packages}
Something went wrong with that request. Please try again.