This commit is contained in:
Simon Cruanes 2024-08-29 15:55:54 -04:00
parent e53986d7b4
commit cdb80c8ed5
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -2,11 +2,14 @@
(name moonpool_fib) (name moonpool_fib)
(public_name moonpool.fib) (public_name moonpool.fib)
(synopsis "Fibers and structured concurrency for Moonpool") (synopsis "Fibers and structured concurrency for Moonpool")
(libraries moonpool picos (libraries
(select hmap_fls.ml from moonpool
picos
(select
hmap_fls.ml
from
(hmap -> hmap_fls.real.ml) (hmap -> hmap_fls.real.ml)
(-> hmap_fls.dummy.ml) (-> hmap_fls.dummy.ml)))
))
(enabled_if (enabled_if
(>= %{ocaml_version} 5.0)) (>= %{ocaml_version} 5.0))
(flags :standard -open Moonpool_private -open Moonpool) (flags :standard -open Moonpool_private -open Moonpool)