aboutsummaryrefslogtreecommitdiff
path: root/services/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-06-01 17:12:06 +0200
committerSébastien Dailly <sebastien@dailly.me>2025-06-14 10:58:01 +0200
commit2f18b8a33cabd0ea666781ba048d0174b4dc5031 (patch)
treeaacda421b89e8133e3c73942e9ede61283a5005c /services/dune
Initial commit
Diffstat (limited to 'services/dune')
-rw-r--r--services/dune10
1 files changed, 10 insertions, 0 deletions
diff --git a/services/dune b/services/dune
new file mode 100644
index 0000000..fe10406
--- /dev/null
+++ b/services/dune
@@ -0,0 +1,10 @@
+(library
+ (name services_impl)
+ (libraries
+ path
+ services
+ v_string
+ )
+ (preprocess (pps ppx_yojson_conv))
+ )
+