Merge pull request #16 from hannesm/travis-depopt

travis: on ubuntu use mirage-xen-posix and zarith-xen as depopts
mirage · Feb 26, 2020 · 287cd42 · 287cd42
2 parents b4f3eb0 + ca0635f
commit 287cd42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -12,6 +12,6 @@ matrix:
   - os: osx
     env: OCAML_VERSION=4.08
   - dist: xenial
-    env: OCAML_VERSION=4.08
+    env: OCAML_VERSION=4.08 DEPOPTS="zarith-xen mirage-xen-posix"
 notifications:
   email: false