simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 19:25:36 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: simplify dune file

Browse source
This commit is contained in:
Simon Cruanes 2019-11-19 16:22:49 -06:00
parent 0aa7a4ea25
commit 61b5e9cee2
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/main/dune
View file

@ -6,7 +6,4 @@
(package sidekick-bin) (package sidekick-bin)
(libraries containers iter result msat sidekick.core sidekick.base-term (libraries containers iter result msat sidekick.core sidekick.base-term
sidekick.msat-solver sidekick-bin.smtlib) sidekick.msat-solver sidekick-bin.smtlib)
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string -color always (flags :standard -safe-string -color always -open Sidekick_util))
-open Sidekick_util)
(ocamlopt_flags :standard -O3 -color always -unbox-closures
-unbox-closures-factor 20))