opam: add pin-depends

andreypopp · Aug 28, 2024 · 882a69f · 882a69f
1 parent ad67391
commit 882a69f
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -42,8 +42,6 @@ jobs:
       # doesn't handle it
       - run: sudo apt-get install -qq -yy libev-dev libssl-dev pkg-config
       # clean build
-      - run: opam pin add melange-json.dev https://github.com/melange-community/melange-json.git --yes
-      - run: opam pin add melange-json-native.dev https://github.com/melange-community/melange-json.git --yes
       - run: opam install . --deps-only
       - run: opam exec -- dune build -p ppx_deriving_router
       # build with dream (should make ppx_deriving_router.dream available)

diff --git a/ppx_deriving_router.opam b/ppx_deriving_router.opam
@@ -36,3 +36,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/andreypopp/ppx_deriving_router.git"
+pin-depends: [
+  ["melange-json.dev" "git+https://github.com/melange-community/melange-json"]
+  ["melange-json-native.dev" "git+https://github.com/melange-community/melange-json"]
+]
diff --git a/ppx_deriving_router.opam.template b/ppx_deriving_router.opam.template
@@ -0,0 +1,4 @@
+pin-depends: [
+  ["melange-json.dev" "git+https://github.com/melange-community/melange-json"]
+  ["melange-json-native.dev" "git+https://github.com/melange-community/melange-json"]
+]