aboutsummaryrefslogtreecommitdiff
path: root/calculette_aoo/bin/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-03-07 10:54:37 +0100
committerSébastien Dailly <sebastien@dailly.me>2024-03-07 10:54:37 +0100
commit7ad4aedc49e97a2a62de08c89b47a877adf9e076 (patch)
treeb43233ffd74ffeedf05b2f62dd8031bf4eb5e703 /calculette_aoo/bin/dune
parentfe13ea5ce39b24b2d49b43c384ed01b013d683db (diff)
calculette_aoo: updated the way to evaluate the oddsHEADmaster
Diffstat (limited to 'calculette_aoo/bin/dune')
-rw-r--r--calculette_aoo/bin/dune4
1 files changed, 3 insertions, 1 deletions
diff --git a/calculette_aoo/bin/dune b/calculette_aoo/bin/dune
index 1177b56..3fee2aa 100644
--- a/calculette_aoo/bin/dune
+++ b/calculette_aoo/bin/dune
@@ -1,3 +1,5 @@
(executable
(name main)
- (libraries aoo))
+ (libraries
+ zarith
+ aoo))