.travis-ci android integers updates.

yallop · May 12, 2017 · bc67d2f · bc67d2f
1 parent 2e2b91c
commit bc67d2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -46,6 +46,7 @@ install_android_toolchain () {
     STLVER=4.9 STLARCH=armeabi \
     opam install conf-android
   opam install ocaml-android
+  opam install integers-android
   OCAMLFINDFLAGS='-toolchain android'
 }