aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-28 13:16:23 +0200
committerClombrong <cromblong@egregore.fun>2025-06-28 16:44:54 +0200
commite669dcf80fc7812e33f813ab18239697563205fa (patch)
treea7172c0b7441edca17585db306d93c1ff6358575
parente6344bc90c5f0ee818a8f827a388879fb14ababf (diff)
feat(test): add Lwt ppx
-rw-r--r--test/dune3
1 files changed, 2 insertions, 1 deletions
diff --git a/test/dune b/test/dune
index 48fdc82..86d5e6c 100644
--- a/test/dune
+++ b/test/dune
@@ -1,3 +1,4 @@
(library
(name hello)
- (libraries lwt flesh portal))
+ (libraries lwt flesh portal)
+ (preprocess (pps lwt_ppx)))