summaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune21
1 files changed, 18 insertions, 3 deletions
diff --git a/bin/dune b/bin/dune
index 3978ff9..69ebf28 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,8 +1,7 @@
(executable
(public_name combattant)
(name main)
- (flags
- (:standard -cclib -static -cclib -no-pie))
+ (modules main)
(libraries
combattant
piaf
@@ -10,4 +9,20 @@
eio_main
logs.fmt
fmt.tty
- logs.threaded))
+ logs.threaded
+ caqti-driver-postgresql))
+
+(executable
+ (public_name sordb)
+ (name mainlite)
+ (modules mainlite)
+ (libraries
+ litedb
+ combattant
+ piaf
+ routes
+ eio_main
+ logs.fmt
+ fmt.tty
+ logs.threaded
+ caqti-driver-sqlite3))