From 66818242a07cab555dccdd442fe04fa342b2583c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 2 May 2025 10:31:04 -0400 Subject: [PATCH] wip --- moonpool-eio.opam | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 moonpool-eio.opam diff --git a/moonpool-eio.opam b/moonpool-eio.opam new file mode 100644 index 00000000..6d0f6666 --- /dev/null +++ b/moonpool-eio.opam @@ -0,0 +1,33 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +version: "0.8" +synopsis: "Compatibility layer between moonpool and Eio" +maintainer: ["Simon Cruanes"] +authors: ["Simon Cruanes"] +license: "MIT" +homepage: "https://github.com/c-cube/moonpool" +bug-reports: "https://github.com/c-cube/moonpool/issues" +depends: [ + "dune" {>= "3.0"} + "moonpool" {= version} + "ocaml" {>= "5.0"} + "eio" + "trace" {with-test} + "trace-tef" {with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/c-cube/moonpool.git"