diff options
Diffstat (limited to 'calculette_aoo/bin/dune')
| -rw-r--r-- | calculette_aoo/bin/dune | 4 |
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)) |