Merge pull request #1448 from goblint/ocaml-4.14-lower-bound

Bump OCaml lower bound to 4.14
goblint · May 8, 2024 · 5cd8650 · 5cd8650
2 parents ceac039 + ca23154
commit 5cd8650
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 6 deletions.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -21,9 +21,6 @@ jobs:
           - 5.0.x
           - ocaml-variants.4.14.0+options,ocaml-option-flambda
           - 4.14.x
-          - 4.13.x
-          - 4.12.x
-          - 4.10.x
         apron:
           - false
           - true

diff --git a/dune-project b/dune-project
@@ -23,7 +23,7 @@
   (name goblint)
   (synopsis "Static analysis framework for C")
   (depends
-    (ocaml (>= 4.10))
+    (ocaml (>= 4.14))
     (goblint-cil (>= 2.0.3)) ; TODO no way to define as pin-depends? Used goblint.opam.template to add it for now. https://github.com/ocaml/dune/issues/3231. Alternatively, removing this line and adding cil as a git submodule and `(vendored_dirs cil)` as ./dune also works. This way, no more need to reinstall the pinned cil opam package on changes. However, then cil is cleaned and has to be rebuild together with goblint.
     (batteries (>= 3.5.1))
     (zarith (>= 1.10))

diff --git a/goblint.opam b/goblint.opam
@@ -21,7 +21,7 @@ doc: "https://goblint.readthedocs.io/en/latest/"
 bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "dune" {>= "3.7"}
-  "ocaml" {>= "4.10"}
+  "ocaml" {>= "4.14"}
   "goblint-cil" {>= "2.0.3"}
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}

diff --git a/gobview b/gobview
-Original file line number
+Diff line change
@@ Expand Up / @@ -21,9 +21,6 @@ jobs: @@
               - 5.0.x
               - ocaml-variants.4.14.0+options,ocaml-option-flambda
               - 4.14.x
-              - 4.13.x
-              - 4.12.x
-              - 4.10.x
             apron:
               - false
               - true
@@ Expand Down @@