summaryrefslogtreecommitdiff
path: root/lib/shared/dune
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-27 16:34:09 +0700
committerpolwex <polwex@sortug.com>2025-06-27 16:34:09 +0700
commit645e815ebe11dbb86781c3eb645d3d67cd62cf7c (patch)
tree347b03391a5245de8a43198c9646719c2e892373 /lib/shared/dune
parent8be9a806a93b02eada372f3993c34bc6b2f26fea (diff)
nice nice. lsp still doesnt work tho
Diffstat (limited to 'lib/shared/dune')
-rw-r--r--lib/shared/dune8
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/shared/dune b/lib/shared/dune
new file mode 100644
index 0000000..12bfe80
--- /dev/null
+++ b/lib/shared/dune
@@ -0,0 +1,8 @@
+(library
+ (name shared)
+ (libraries
+ caqti
+ caqti-eio
+ ppx_rapper_eio)
+ (preprocess
+ (pps ppx_rapper))) \ No newline at end of file