Add mlgmpidl conflict for MacOS to use conf-mpfr-paths

sim642 · sim642 · commit 4b03f96b4714 · 2025-12-12T15:21:41.000+02:00
diff --git a/dune-project b/dune-project
@@ -80,6 +80,7 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e
     (apron (< v0.9.15)) ; lower bounds for depopts seem to not properly constrain in builtin-0install lower-bounds job, so upper bounds for conflicts instead
     (camlidl (< 1.13)) ; for stability (https://github.com/goblint/analyzer/issues/1520)
     (ez-conf-lib (= 1)) ; https://github.com/nberth/ez-conf-lib/issues/3
+    (mlgmpidl (< 1.3.0)) ; to use conf-mpfr-paths to work on MacOS
   )
   (sites
     (share lib)
diff --git a/goblint.opam b/goblint.opam
@@ -78,6 +78,7 @@ conflicts: [
   "apron" {< "v0.9.15"}
   "camlidl" {< "1.13"}
   "ez-conf-lib" {= "1"}
+  "mlgmpidl" {< "1.3.0"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -140,6 +140,7 @@ conflicts: [
   "apron" {< "v0.9.15"}
   "camlidl" {< "1.13"}
   "ez-conf-lib" {= "1"}
+  "mlgmpidl" {< "1.3.0"}
 ]
 post-messages: [
   "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}

Original file line number	Diff line number	Diff line change
`@@ -80,6 +80,7 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e`
`80`	`80`	`(apron (< v0.9.15)) ; lower bounds for depopts seem to not properly constrain in builtin-0install lower-bounds job, so upper bounds for conflicts instead`
`81`	`81`	`(camlidl (< 1.13)) ; for stability (https://github.com/goblint/analyzer/issues/1520)`
`82`	`82`	`(ez-conf-lib (= 1)) ; https://github.com/nberth/ez-conf-lib/issues/3`
	`83`	`+ (mlgmpidl (< 1.3.0)) ; to use conf-mpfr-paths to work on MacOS`
`83`	`84`	`)`
`84`	`85`	`(sites`
`85`	`86`	`(share lib)`
Original file line number	Diff line number	Diff line change
`@@ -140,6 +140,7 @@ conflicts: [`
`140`	`140`	`"apron" {< "v0.9.15"}`
`141`	`141`	`"camlidl" {< "1.13"}`
`142`	`142`	`"ez-conf-lib" {= "1"}`
	`143`	`+ "mlgmpidl" {< "1.3.0"}`
`143`	`144`	`]`
`144`	`145`	`post-messages: [`
`145`	`146`	`"Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}`