summaryrefslogtreecommitdiff
path: root/ocaml/dune-project
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-10-06 04:03:14 +0700
committerpolwex <polwex@sortug.com>2025-10-06 04:03:14 +0700
commit24eac75c69b3d74388bbbc8ee2b6792e7590e4c6 (patch)
tree3e3a22dde0d977dca4b28fc92ada0faea24990f7 /ocaml/dune-project
parentfd51dfdccf7b565e4214fe47a1420a9990fab342 (diff)
did this madman really implement parallelism on urbit
Diffstat (limited to 'ocaml/dune-project')
-rw-r--r--ocaml/dune-project3
1 files changed, 2 insertions, 1 deletions
diff --git a/ocaml/dune-project b/ocaml/dune-project
index 9e337b7..58c02de 100644
--- a/ocaml/dune-project
+++ b/ocaml/dune-project
@@ -11,4 +11,5 @@
(ocaml (>= 5.3))
zarith
eio
- eio_main))
+ eio_main
+ domainslib))