summaryrefslogtreecommitdiff
path: root/2025/ocaml/lib/domain/dune
diff options
context:
space:
mode:
authorDJ O'Leary <dijitol@proton.me>2025-11-29 20:08:11 +0100
committerDJ O'Leary <dijitol@proton.me>2025-11-29 20:09:11 +0100
commit87277098e997661f432be56c27f4b54d51aa9306 (patch)
tree83846830e5102120ef298e8ad9a552b30203fdc6 /2025/ocaml/lib/domain/dune
parent0bf49c4ec799445350c60a96a754e44ac15a2268 (diff)
chore: use updated template
Diffstat (limited to '2025/ocaml/lib/domain/dune')
-rw-r--r--2025/ocaml/lib/domain/dune9
1 files changed, 9 insertions, 0 deletions
diff --git a/2025/ocaml/lib/domain/dune b/2025/ocaml/lib/domain/dune
new file mode 100644
index 0000000..f23b247
--- /dev/null
+++ b/2025/ocaml/lib/domain/dune
@@ -0,0 +1,9 @@
+(library
+ (name domain)
+ (inline_tests)
+ (preprocess
+ (pps
+ ppx_deriving.show
+ ppx_deriving.eq
+ ppx_deriving.ord
+ ppx_expect)))