From 0fea0ea522e7a84aadcff814b67d5bcbdac63a42 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 24 Apr 2020 22:47:37 -0400 Subject: [PATCH] opam and travis --- .travis.yml | 3 +++ containers-data.opam | 1 + containers.opam | 1 - 3 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 3f7caac0..c97b7d31 100644 --- a/.travis.yml +++ b/.travis.yml @@ -18,3 +18,6 @@ env: - PACKAGE="containers" OCAML_VERSION="4.10" TESTS=false - PACKAGE="containers-data" OCAML_VERSION="4.08" - PACKAGE="containers-thread" OCAML_VERSION="4.08" +cache: + directories: + - /home/opam/.opam/ diff --git a/containers-data.opam b/containers-data.opam index ee4e55b2..b520f242 100644 --- a/containers-data.opam +++ b/containers-data.opam @@ -18,6 +18,7 @@ depends: [ "ounit" { with-test } "iter" { with-test } "gen" { with-test } + "mdx" { with-test & >= "1.5.0" & < "2.0.0" } "odoc" { with-doc } ] tags: [ "containers" "RAL" "functional" "vector" "okasaki" ] diff --git a/containers.opam b/containers.opam index 9a2a6f88..09827ff1 100644 --- a/containers.opam +++ b/containers.opam @@ -20,7 +20,6 @@ depends: [ "iter" { with-test } "gen" { with-test } "uutf" { with-test } - "mdx" { with-test & >= "1.5.0" & < "2.0.0" } "odoc" { with-doc } ] depopts: [