diff options
| author | 2021-10-09 21:45:43 -0400 | |
|---|---|---|
| committer | 2021-10-09 21:45:43 -0400 | |
| commit | 8c8496da46660f3d0e45171a3cc3d8d3159dfa2f (patch) | |
| tree | a5f37277cfa9b0a72b2d1632b20ae781716b6a5e /src/dune | |
move over stuff from old project
Diffstat (limited to 'src/dune')
| -rw-r--r-- | src/dune | 7 |
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) +) |
