aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-04-22 22:46:41 -0300
committerGitHub <noreply@github.com>2026-04-22 22:46:41 -0300
commit29e00769046cbc8cd020b2b7c47448d89f21ab39 (patch)
treedf6601daa94f7d588708ceca5a34fa02b75d791b /bin/dune
parentfdc63e730f91a4605ed4ff96a908e1f5e822d1bb (diff)
downloadSakura-29e00769046cbc8cd020b2b7c47448d89f21ab39.tar.gz
Sakura-29e00769046cbc8cd020b2b7c47448d89f21ab39.zip
Prototype for configuration
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune9
1 files changed, 1 insertions, 8 deletions
diff --git a/bin/dune b/bin/dune
index 5a6c7d4..b559855 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,13 +1,6 @@
(executable
- (public_name sakura)
- (name main)
- (modules main)
- (libraries relational_engine)
- (package sakura)
- (modes byte exe))
-
-(executable
(name server)
+ (public_name sakura-server)
(modules server)
(libraries relational_engine unix)
(modes byte exe))