mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
forkjoin not longer optional
This commit is contained in:
parent
f6ad345f31
commit
50a44a76e1
1 changed files with 0 additions and 2 deletions
|
|
@ -4,6 +4,4 @@
|
|||
(synopsis "Fork-join parallelism for moonpool")
|
||||
(flags :standard -open Moonpool)
|
||||
(optional)
|
||||
(enabled_if
|
||||
(>= %{ocaml_version} 5.0))
|
||||
(libraries moonpool moonpool.private picos))
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue