summaryrefslogtreecommitdiff
path: root/bs5/dune-project
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-15 04:59:49 +0700
committerpolwex <polwex@sortug.com>2025-06-15 04:59:49 +0700
commit71c20233ff79e696d0eeca2ce1462d3083fbcfed (patch)
tree4491f680fb6fe65e9d8606764c7000396856e93e /bs5/dune-project
parent241dc9c99bed4dddbc748aad54cee5bf7d77ab92 (diff)
and were done, just like that
Diffstat (limited to 'bs5/dune-project')
-rw-r--r--bs5/dune-project8
1 files changed, 8 insertions, 0 deletions
diff --git a/bs5/dune-project b/bs5/dune-project
index 8445b07..5eceaf1 100644
--- a/bs5/dune-project
+++ b/bs5/dune-project
@@ -1,5 +1,13 @@
(lang dune 3.19)
+(using melange 0.1)
+
+(using directory-targets 0.1)
+
+; (using mdx 0.4)
+; (cram enable)
+;
+
(name bs5)
(generate_opam_files true)