Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

reviving CI setup

  • Loading branch information...
commit f0cc553e20092b13a716b24aec11fbce94bcfe98 1 parent 6a9fa2f
Romain Slootmaekers authored
View
2  jenkins/base/005_install_ubuntu_dependencies.sh
@@ -6,4 +6,4 @@ for PKG in texlive texlive-latex-extra darcs git automake fakeroot python-epydoc
sudo aptitude install -yVDq $PKG
done
-gem1.9.1 install --user-install github-upload
+#gem1.9.1 install --user-install github-upload
View
6 tools/setup_env.py
@@ -115,10 +115,10 @@ def maybe_install_packages():
sh(['mkdir', '-p', OPAM_ROOT])
opam_env = env.copy()
def opam(x):
- sh(['opam','--verbose', '--yes', '--root', OPAM_ROOT] + x, env = opam_env)
+ sh(['opam'] + x + ['-v', '-y', '-r', OPAM_ROOT], env = opam_env)
opam(['init'])
- opam(['remote', '-add', 'devel', '-kind', 'git', INCUBAID_DEVEL])
+ opam(['remote', 'add', 'devel', '-k', 'git', INCUBAID_DEVEL])
opam(['update'])
opam(['install', 'ocamlfind','baardskeerder'])
@@ -129,7 +129,7 @@ def do_it():
maybe_install_packages()
print 'now do the following to update your environment:'
- print 'eval `%s/bin/opam --root %s config -env`' % (OPAM_HOME, OPAM_ROOT)
+ print 'eval `%s/bin/opam config env -r %s`' % (OPAM_HOME, OPAM_ROOT)
Please sign in to comment.
Something went wrong with that request. Please try again.