Test with a pin on Dolmen

Halbaroth · Jul 31, 2023 · d187b9b · d187b9b
1 parent f2a5ba8
commit d187b9b
Showing 1 changed file with 15 additions and 4 deletions.
diff --git a/alt-ergo-lib.opam.locked b/alt-ergo-lib.opam.locked
@@ -17,21 +17,26 @@ doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 depends: [
   "base-bigarray" {= "base"}
+  "base-bytes" {= "base"}
   "base-threads" {= "base"}
   "base-unix" {= "base"}
   "camlzip" {= "1.11"}
   "cmdliner" {= "1.2.0"}
   "conf-gmp" {= "4"}
   "conf-pkg-config" {= "3"}
   "conf-zlib" {= "1"}
-  "dolmen" {= "0.9"}
-  "dolmen_loop" {= "0.9"}
-  "dolmen_type" {= "0.9"}
+  "cppo" {= "1.6.9"}
+  "csexp" {= "1.5.2"}
+  "dolmen" {= "dev"}
+  "dolmen_loop" {= "dev"}
+  "dolmen_type" {= "dev"}
   "dune" {= "3.9.1"}
   "dune-build-info" {= "3.9.1"}
+  "dune-configurator" {= "3.9.1"}
   "fmt" {= "0.9.0"}
   "gen" {= "1.1"}
   "logs" {= "0.7.0"}
+  "lwt" {= "5.6.1"}
   "menhir" {= "20230608"}
   "menhirLib" {= "20230608"}
   "menhirSdk" {= "20230608"}
@@ -42,13 +47,14 @@ depends: [
   "ocaml-config" {= "1"}
   "ocamlbuild" {= "0.14.2"}
   "ocamlfind" {= "1.9.6"}
+  "ocplib-endian" {= "1.2"}
   "ocplib-simplex" {= "0.5"}
   "pp_loc" {= "2.1.0"}
   "ppx_blob" {= "0.7.2"}
   "ppx_derivers" {= "1.2.1"}
   "ppxlib" {= "0.30.0"}
   "seq" {= "base"}
-  "sexplib0" {= "v0.16.0"}
+  "sexplib0" {= "v0.15.1"}
   "spelll" {= "0.4"}
   "stdlib-shims" {= "0.3.0"}
   "topkg" {= "1.0.7"}
@@ -72,3 +78,8 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+pin-depends: [
+  ["dolmen.dev" "git+https://github.com/Gbury/dolmen.git#master"]
+  ["dolmen_loop.dev" "git+https://github.com/Gbury/dolmen.git#master"]
+  ["dolmen_type.dev" "git+https://github.com/Gbury/dolmen.git#master"]
+]