aboutsummaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-26 15:39:10 +0200
committerClombrong <cromblong@egregore.fun>2025-06-26 21:40:53 +0200
commit763187955aed2c6ff07eee5f31d413bef81075df (patch)
tree787af060ba43655c301d87132133af16eefc114d /test/dune
parent37d47541083c3eaf3ea9f6c3445e8ba926ee609c (diff)
feat(tests): move test program to common code
Diffstat (limited to 'test/dune')
-rw-r--r--test/dune3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/dune b/test/dune
new file mode 100644
index 0000000..48fdc82
--- /dev/null
+++ b/test/dune
@@ -0,0 +1,3 @@
+(library
+ (name hello)
+ (libraries lwt flesh portal))