Add the correct external deps in Travis scripts for zarith

mirage · Oct 16, 2014 · d272ef5 · d272ef5
1 parent a403424
commit d272ef5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -7,7 +7,7 @@ OPAM_PACKAGES="camlzip dolog nocrypto uri \
 ppa=avsm/ocaml41+opam11
 echo "yes" | sudo add-apt-repository ppa:$ppa
 sudo apt-get update -qq
-sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam
+sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam libgmp-dev
 export OPAMYES=1
 
 opam init git://github.com/ocaml/opam-repository >/dev/null 2>&1