Regenerate opam files with dune 2.9.1

vbmithr · Mar 11, 2022 · 09ce371 · 09ce371
1 parent 25d83a1
commit 09ce371
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/websocket-async.opam b/websocket-async.opam
@@ -34,15 +34,15 @@ depends: [
   "odoc" {with-doc}
 ]
 build: [
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
     "-p"
     name
     "-j"
     jobs
-    "--promote-install-files"
-    "false"
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}

diff --git a/websocket-lwt-unix.opam b/websocket-lwt-unix.opam
@@ -31,15 +31,15 @@ depends: [
   "odoc" {with-doc}
 ]
 build: [
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
     "-p"
     name
     "-j"
     jobs
-    "--promote-install-files"
-    "false"
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}

diff --git a/websocket.opam b/websocket.opam
@@ -33,15 +33,15 @@ depends: [
   "odoc" {with-doc}
 ]
 build: [
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
     "-p"
     name
     "-j"
     jobs
-    "--promote-install-files"
-    "false"
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}