diff --git a/.travis.yml b/.travis.yml index 2224cf1a6..06057fc4e 100644 --- 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