From c39449a6311ba09fdfdd43b1c186f8afa5296c64 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Fri, 6 Dec 2024 14:54:15 +0000 Subject: [PATCH] Disable dune subst It was always unnecessary, but with dune 3.17.0 it's causing the benchmarks to fail to install. The error is: Error: There is no dune-project file in the current directory, please add one with a (name ) field in it. Hint: 'dune subst' must be executed from the root of the project --- dune-project | 1 + eio.opam | 1 - eio_linux.opam | 1 - eio_main.opam | 1 - eio_posix.opam | 1 - eio_windows.opam | 1 - 6 files changed, 1 insertion(+), 5 deletions(-) diff --git a/dune-project b/dune-project index 03d377adb..e4dd40e56 100644 --- a/dune-project +++ b/dune-project @@ -1,6 +1,7 @@ (lang dune 3.9) (name eio) (formatting disabled) +(subst disabled) (generate_opam_files true) (source (github ocaml-multicore/eio)) (license ISC) diff --git a/eio.opam b/eio.opam index 78109b129..7dafd13bb 100644 --- a/eio.opam +++ b/eio.opam @@ -29,7 +29,6 @@ conflicts: [ "seq" {< "0.3"} ] build: [ - ["dune" "subst"] {dev} [ "dune" "build" diff --git a/eio_linux.opam b/eio_linux.opam index c4ab67004..3a5d8d409 100644 --- a/eio_linux.opam +++ b/eio_linux.opam @@ -20,7 +20,6 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {dev} [ "dune" "build" diff --git a/eio_main.opam b/eio_main.opam index 1d3cad8a4..8c8d238f6 100644 --- a/eio_main.opam +++ b/eio_main.opam @@ -21,7 +21,6 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {dev} [ "dune" "build" diff --git a/eio_posix.opam b/eio_posix.opam index 9d8438114..f06e68601 100644 --- a/eio_posix.opam +++ b/eio_posix.opam @@ -18,7 +18,6 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {dev} [ "dune" "build" diff --git a/eio_windows.opam b/eio_windows.opam index b24efa546..bb5020c16 100644 --- a/eio_windows.opam +++ b/eio_windows.opam @@ -17,7 +17,6 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {dev} [ "dune" "build"