aboutsummaryrefslogtreecommitdiffstats
path: root/src/dune
diff options
context:
space:
mode:
authorGravatar Peter McGoron 2021-10-09 21:45:43 -0400
committerGravatar Peter McGoron 2021-10-09 21:45:43 -0400
commit8c8496da46660f3d0e45171a3cc3d8d3159dfa2f (patch)
treea5f37277cfa9b0a72b2d1632b20ae781716b6a5e /src/dune
move over stuff from old project
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/dune b/src/dune
new file mode 100644
index 0000000..c31f479
--- /dev/null
+++ b/src/dune
@@ -0,0 +1,7 @@
+(library
+ (name libunderwriter)
+ (inline_tests)
+ (preprocess (pps ppx_inline_test))
+ (flags -rectypes)
+ (libraries sqlite3 letsqlite)
+)