Permalink
Browse files

repair travis

  • Loading branch information...
benediktahrens committed Jan 3, 2018
1 parent cafa01e commit 80ae61200141b6e66b693ebc6b12873efb5f847d
Showing with 9 additions and 1 deletion.
  1. +9 −1 .travis.yml
@@ -1,10 +1,18 @@
language: generic
sudo: required
dist: trusty
git:
submodules: false
before_install:
- sudo apt-get update -qq
install:
- sudo apt-get install -y ocaml ocaml-nox ocaml-native-compilers camlp4-extra time camlp5 ocaml-findlib
- sudo add-apt-repository -y ppa:avsm
- sudo apt-get update
- sudo apt-get install -y opam aspcud time libgtk2.0-dev libgtksourceview2.0-dev emacs
- opam init --yes --no-setup
- eval $(opam config env)
- opam install lablgtk camlp5 num --yes --verbose
before_script:
- WPATH=$PWD
- cd ..

0 comments on commit 80ae612

Please sign in to comment.