Merge pull request #268 from ahrefs/louis/atd-template-pinned

Fix atd opam build template
ahrefs · Mar 25, 2022 · de81fc9 · de81fc9
2 parents bc6aa07 + ee08a1c
commit de81fc9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/atd.opam.template b/atd.opam.template
@@ -1,5 +1,5 @@
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/scripts/patch-opam-files b/scripts/patch-opam-files
@@ -11,8 +11,6 @@ sed_in_place() {
   rm -f *.sed-tmp
 }
 
-sed_in_place 's/\["dune" "subst"\] {pinned}/\["dune" "subst"\] {dev}/g' *.opam
-
 # Not sure why @runtest is inserted into some opam files and not others.
 # We remove it so as to not have opam-repository's CI run into errors
 # due to missing dependencies for the target languages (Python, Java, etc.)