Add pin-depends for CI to run

Signed-off-by: Paul-Elliot <[email protected]>
panglesd · Dec 7, 2023 · edd0237 · edd0237
1 parent 5a051d8
commit edd0237
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/ppxlib.opam b/ppxlib.opam
@@ -51,3 +51,6 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocaml-ppx/ppxlib.git"
+pin-depends: [
+  [ "ocaml-compiler-libs" "git+https://github.com/art-w/ocaml-compiler-libs.git#ocaml-5.2-trunk" ]
+]
diff --git a/ppxlib.opam.template b/ppxlib.opam.template
@@ -0,0 +1,3 @@
+pin-depends: [
+  [ "ocaml-compiler-libs" "git+https://github.com/art-w/ocaml-compiler-libs.git#ocaml-5.2-trunk" ]
+]