update .travis.yml for master branch

gfngfn · Aug 2, 2017 · 9e7c691 · 9e7c691
1 parent 969bfdd
commit 9e7c691
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -8,5 +8,7 @@ sudo: required
 install:
   - wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-ocaml.sh
   - bash -ex .travis-ocaml.sh
+  - opam install -y menhir
+  - eval `opam config env`
 script:
   - make all