Merge pull request #3 from Leonidas-from-XIV/goblint-constraint

edwintorok · web-flow · commit c627ceb3dfe6 · 2024-03-29T11:59:51.000Z
Add constraint on upper version of Goblint
diff --git a/dune-project b/dune-project
@@ -30,11 +30,11 @@
  (depends
   (ocaml (>= 4.13))
   (lintcstubs-gen (= :version))
-  (goblint (>= 2.1.0))
+  (goblint (and (>= 2.1.0) (< 2.2)))
   goblint-cil
   dune-compiledb
   fpath
   (fmt (>= 0.9.0))
   (sexplib (>= v0.15.0))
  )
-)
+)
diff --git a/lintcstubs.opam b/lintcstubs.opam
@@ -12,7 +12,7 @@ depends: [
   "dune" {>= "3.0"}
   "ocaml" {>= "4.13"}
   "lintcstubs-gen" {= version}
-  "goblint" {>= "2.1.0"}
+  "goblint" {>= "2.1.0" & < "2.2"}
   "goblint-cil"
   "dune-compiledb"
   "fpath"
