aboutsummaryrefslogtreecommitdiff
path: root/discocaml/dune
diff options
context:
space:
mode:
authorNathan Ringo <nathan@remexre.com>2024-01-18 10:58:36 -0600
committerNathan Ringo <nathan@remexre.com>2024-01-18 10:58:36 -0600
commit00d0bfced902e97eeae5257c14134d4bc7efc710 (patch)
treeee026f328614e03aec3ed373d9f2e6c8e255f834 /discocaml/dune
parent7017762a4a38266aa88976be141f7bd663647edc (diff)
Commands to interact with discocaml, associated IPC.
Diffstat (limited to 'discocaml/dune')
-rw-r--r--discocaml/dune6
1 files changed, 4 insertions, 2 deletions
diff --git a/discocaml/dune b/discocaml/dune
index 02fcc09..695d78f 100644
--- a/discocaml/dune
+++ b/discocaml/dune
@@ -1,7 +1,9 @@
(executable
- (libraries compiler-libs.common)
+ (flags
+ (:standard -cclib -static -cclib -lm))
+ (libraries compiler-libs.common yojson)
(name main)
(package discocaml)
(preprocess
- (staged_pps ppx_import ppx_deriving.show))
+ (staged_pps ppx_import ppx_deriving.show ppx_deriving_yojson))
(public_name discocaml))