Update pin build step for dune

Gbury · May 2, 2021 · 5ca1427 · 5ca1427
1 parent 004ddbd
commit 5ca1427
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/dolmen.opam b/dolmen.opam
@@ -5,7 +5,7 @@ maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
 authors: "Guillaume Bury <guillaume.bury@gmail.com>"
 license: "BSD-2-Clause"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [

diff --git a/dolmen_bin.opam b/dolmen_bin.opam
@@ -5,7 +5,7 @@ maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
 authors: "Guillaume Bury <guillaume.bury@gmail.com>"
 license: "BSD-2-Clause"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [

diff --git a/dolmen_loop.opam b/dolmen_loop.opam
@@ -5,7 +5,7 @@ maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
 authors: "Guillaume Bury <guillaume.bury@gmail.com>"
 license: "BSD-2-Clause"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [

diff --git a/dolmen_lsp.opam b/dolmen_lsp.opam
@@ -5,7 +5,7 @@ maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
 authors: "Guillaume Bury <guillaume.bury@gmail.com>"
 license: "BSD-2-Clause"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [

diff --git a/dolmen_type.opam b/dolmen_type.opam
@@ -5,7 +5,7 @@ maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
 authors: "Guillaume Bury <guillaume.bury@gmail.com>"
 license: "BSD-2-Clause"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [