aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGravatar Peter McGoron 2021-10-09 22:25:34 -0400
committerGravatar Peter McGoron 2021-10-09 22:25:34 -0400
commit27962fc7d2c12f47f4efd300f743b4d10f8e3607 (patch)
tree79c1bfda45f254d5e4d3a3d2a9d4c5733207bf9e
parentmove over stuff from old project (diff)
fix build
-rw-r--r--src/dune7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/dune b/src/dune
index c31f479..376563b 100644
--- a/src/dune
+++ b/src/dune
@@ -1,7 +1,8 @@
(library
- (name libunderwriter)
+ (name letsqlite)
+ (public_name letsqlite)
(inline_tests)
(preprocess (pps ppx_inline_test))
- (flags -rectypes)
- (libraries sqlite3 letsqlite)
+ (libraries sqlite3)
)
+