Bump min OCaml version to 4.08

c-cube · May 9, 2021 · 1ceea87 · 1ceea87
1 parent 525ff27
commit 1ceea87
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 10 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -10,11 +10,9 @@ env:
   - PACKAGE="qcheck"
   - DEPOPTS="ounit alcotest"
   matrix:
-    - OCAML_VERSION="4.03"
-    #- OCAML_VERSION="4.04"
-    #- OCAML_VERSION="4.05"
-    - OCAML_VERSION="4.06"
-    #- OCAML_VERSION="4.07"
+    # OCAML_VERSION is used by https://github.com/ocaml/ocaml-ci-scripts/blob/master/README-travis.md
     - OCAML_VERSION="4.08"
-    #- OCAML_VERSION="4.09"
+    - OCAML_VERSION="4.09"
     - OCAML_VERSION="4.10"
+    - OCAML_VERSION="4.11"
+    - OCAML_VERSION="4.12"
diff --git a/qcheck-alcotest.opam b/qcheck-alcotest.opam
@@ -23,7 +23,7 @@ depends: [
   "qcheck-core" { = version }
   "alcotest"
   "odoc" {with-doc}
-  "ocaml" {>= "4.03.0"}
+  "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 bug-reports: "https://github.com/c-cube/qcheck/issues"
diff --git a/qcheck-core.opam b/qcheck-core.opam
@@ -20,7 +20,7 @@ depends: [
   "base-bytes"
   "base-unix"
   "odoc" {with-doc}
-  "ocaml" {>= "4.03.0"}
+  "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 bug-reports: "https://github.com/c-cube/qcheck/issues"

diff --git a/qcheck-ounit.opam b/qcheck-ounit.opam
@@ -22,7 +22,7 @@ depends: [
   "qcheck-core" { = version }
   "ounit2"
   "odoc" {with-doc}
-  "ocaml" {>= "4.03.0"}
+  "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 bug-reports: "https://github.com/c-cube/qcheck/issues"
diff --git a/qcheck.opam b/qcheck.opam
@@ -22,7 +22,7 @@ depends: [
   "qcheck-core" { = version }
   "qcheck-ounit" { = version }
   "odoc" {with-doc}
-  "ocaml" {>= "4.03.0"}
+  "ocaml" {>= "4.08.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 bug-reports: "https://github.com/c-cube/qcheck/issues"