fix: Specify dolmen as dev dependency

bclement-ocp · bclement-ocp · commit 08ba2e4616ff · 2025-09-09T16:26:47.000+02:00
Otherwise opam seems to ignore the actual commit hash provided...
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -17,9 +17,9 @@ depends: [
   "ocaml" {>= "4.08.1"}
   "dune" {>= "3.14"}
   "dune-build-info"
-  "dolmen" {>= "0.10"}
-  "dolmen_type" {>= "0.10"}
-  "dolmen_loop" {>= "0.10"}
+  "dolmen" {>= "0.10" | = "dev"}
+  "dolmen_type" {>= "0.10" | = "dev"}
+  "dolmen_loop" {>= "0.10" | = "dev"}
   "ocplib-simplex" {>= "0.5.1"}
   "zarith" {>= "1.11"}
   "seq"
@@ -63,15 +63,15 @@ license: [
 
 pin-depends: [
   [
-    "dolmen.0.11"
+    "dolmen.dev"
     "git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"
   ]
   [
-    "dolmen_loop.0.11"
+    "dolmen_loop.dev"
     "git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"
   ]
   [
-    "dolmen_type.0.11"
+    "dolmen_type.dev"
     "git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"
   ]
 ]
diff --git a/alt-ergo-lib.opam.locked b/alt-ergo-lib.opam.locked
@@ -23,9 +23,9 @@ depends: [
   "conf-gmp" {= "5"}
   "conf-pkg-config" {= "4"}
   "cppo" {= "1.8.0"}
-  "dolmen" {= "0.10"}
-  "dolmen_loop" {= "0.10"}
-  "dolmen_type" {= "0.10"}
+  "dolmen" {= "dev"}
+  "dolmen_loop" {= "dev"}
+  "dolmen_type" {= "dev"}
   "dune" {= "3.19.1"}
   "dune-build-info" {= "3.19.1"}
   "fmt" {= "0.10.0"}
diff --git a/alt-ergo-lib.opam.template b/alt-ergo-lib.opam.template
@@ -9,15 +9,15 @@ license: [
 
 pin-depends: [
   [
-    "dolmen.0.11"
+    "dolmen.dev"
     "git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"
   ]
   [
-    "dolmen_loop.0.11"
+    "dolmen_loop.dev"
     "git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"
   ]
   [
-    "dolmen_type.0.11"
+    "dolmen_type.dev"
     "git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"
   ]
 ]
diff --git a/dune-project b/dune-project
@@ -53,9 +53,9 @@ See more details on http://alt-ergo.ocamlpro.com/"
   (ocaml (>= 4.08.1))
   dune
   dune-build-info
-  (dolmen (>= 0.10))
-  (dolmen_type (>= 0.10))
-  (dolmen_loop (>= 0.10))
+  (dolmen (or (>= 0.10) (= dev)))
+  (dolmen_type (or (>= 0.10) (= dev)))
+  (dolmen_loop (or (>= 0.10) (= dev)))
   (ocplib-simplex (>= 0.5.1))
   (zarith (>= 1.11))
   seq

Original file line number	Diff line number	Diff line change
`@@ -17,9 +17,9 @@ depends: [`
`17`	`17`	`"ocaml" {>= "4.08.1"}`
`18`	`18`	`"dune" {>= "3.14"}`
`19`	`19`	`"dune-build-info"`
`20`		`- "dolmen" {>= "0.10"}`
`21`		`- "dolmen_type" {>= "0.10"}`
`22`		`- "dolmen_loop" {>= "0.10"}`
	`20`	`+ "dolmen" {>= "0.10" \| = "dev"}`
	`21`	`+ "dolmen_type" {>= "0.10" \| = "dev"}`
	`22`	`+ "dolmen_loop" {>= "0.10" \| = "dev"}`
`23`	`23`	`"ocplib-simplex" {>= "0.5.1"}`
`24`	`24`	`"zarith" {>= "1.11"}`
`25`	`25`	`"seq"`
`@@ -63,15 +63,15 @@ license: [`
`63`	`63`
`64`	`64`	`pin-depends: [`
`65`	`65`	`[`
`66`		`- "dolmen.0.11"`
	`66`	`+ "dolmen.dev"`
`67`	`67`	`"git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"`
`68`	`68`	`]`
`69`	`69`	`[`
`70`		`- "dolmen_loop.0.11"`
	`70`	`+ "dolmen_loop.dev"`
`71`	`71`	`"git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"`
`72`	`72`	`]`
`73`	`73`	`[`
`74`		`- "dolmen_type.0.11"`
	`74`	`+ "dolmen_type.dev"`
`75`	`75`	`"git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"`
`76`	`76`	`]`
`77`	`77`	`]`
Original file line number	Diff line number	Diff line change
`@@ -9,15 +9,15 @@ license: [`
`9`	`9`
`10`	`10`	`pin-depends: [`
`11`	`11`	`[`
`12`		`- "dolmen.0.11"`
	`12`	`+ "dolmen.dev"`
`13`	`13`	`"git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"`
`14`	`14`	`]`
`15`	`15`	`[`
`16`		`- "dolmen_loop.0.11"`
	`16`	`+ "dolmen_loop.dev"`
`17`	`17`	`"git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"`
`18`	`18`	`]`
`19`	`19`	`[`
`20`		`- "dolmen_type.0.11"`
	`20`	`+ "dolmen_type.dev"`
`21`	`21`	`"git+https://github.com/Gbury/dolmen.git#a0f1bc66e7256fff1068ac0df525a2d23c1f3ea7"`
`22`	`22`	`]`
`23`	`23`	`]`