From 09ce3710e1afa4a8374ea3c10f2f22697a81621d Mon Sep 17 00:00:00 2001 From: Kate Date: Wed, 9 Mar 2022 22:23:08 +0000 Subject: [PATCH] Regenerate opam files with dune 2.9.1 --- websocket-async.opam | 4 ++-- websocket-lwt-unix.opam | 4 ++-- websocket.opam | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/websocket-async.opam b/websocket-async.opam index 9ac637d..1c61bdd 100644 --- a/websocket-async.opam +++ b/websocket-async.opam @@ -34,6 +34,7 @@ depends: [ "odoc" {with-doc} ] build: [ + ["dune" "subst"] {dev} [ "dune" "build" @@ -41,8 +42,7 @@ build: [ 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 index 0958af2..d7438ad 100644 --- a/websocket-lwt-unix.opam +++ b/websocket-lwt-unix.opam @@ -31,6 +31,7 @@ depends: [ "odoc" {with-doc} ] build: [ + ["dune" "subst"] {dev} [ "dune" "build" @@ -38,8 +39,7 @@ build: [ 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 index af22972..3ee1b50 100644 --- a/websocket.opam +++ b/websocket.opam @@ -33,6 +33,7 @@ depends: [ "odoc" {with-doc} ] build: [ + ["dune" "subst"] {dev} [ "dune" "build" @@ -40,8 +41,7 @@ build: [ name "-j" jobs - "--promote-install-files" - "false" + "--promote-install-files=false" "@install" "@runtest" {with-test} "@doc" {with-doc}