From 6d7915e7e8e4e4d81979fdabd1cb3cea41cd4ed9 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Fri, 18 Aug 2023 09:16:40 +0100 Subject: [PATCH] Tmp: pin uring --- eio_linux.opam | 3 +++ eio_linux.opam.template | 3 +++ 2 files changed, 6 insertions(+) create mode 100644 eio_linux.opam.template diff --git a/eio_linux.opam b/eio_linux.opam index faf1b822a..482c1c6e0 100644 --- a/eio_linux.opam +++ b/eio_linux.opam @@ -34,3 +34,6 @@ build: [ ] ] dev-repo: "git+https://github.com/ocaml-multicore/eio.git" +pin-depends:[ + [ "uring.dev" "git+https://github.com/patricoferris/ocaml-uring#a48acaf42fc0ff5e415c6583417789a0bc552436" ] +] diff --git a/eio_linux.opam.template b/eio_linux.opam.template new file mode 100644 index 000000000..3a16067a8 --- /dev/null +++ b/eio_linux.opam.template @@ -0,0 +1,3 @@ +pin-depends:[ + [ "uring.dev" "git+https://github.com/patricoferris/ocaml-uring#a48acaf42fc0ff5e415c6583417789a0bc552436" ] +]