summaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-23 02:57:35 +0700
committerpolwex <polwex@sortug.com>2025-06-23 02:57:35 +0700
commitd653f488017b1904fb0089d2bf308ae042240f38 (patch)
tree5475990bc9eb357fa1bc32dfe3f9e83cf16e8a58 /bin/dune
parent6a0c2449e4c4d22cf18e508bd1f13088a3314ca7 (diff)
!!!
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))