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

perf: compile only in native

Browse source
This commit is contained in:
Simon Cruanes 2021-08-05 10:53:46 -04:00
parent d117d656c5
commit 971ae74ecc
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/main/dune
View file

@ -4,6 +4,7 @@
(name main) (name main)
(public_name sidekick) (public_name sidekick)
(package sidekick-bin) (package sidekick-bin)
(modes native)
(libraries containers iter result sidekick.sat sidekick.core sidekick-base (libraries containers iter result sidekick.sat sidekick.core sidekick-base
sidekick.msat-solver sidekick-bin.smtlib sidekick.tef sidekick.msat-solver sidekick-bin.smtlib sidekick.tef
sidekick.memtrace) sidekick.memtrace)

1
src/tests/dune
View file

@ -2,6 +2,7 @@
(executable (executable
(name run_tests) (name run_tests)
(modules run_tests) (modules run_tests)
(modes native)
(libraries containers alcotest qcheck sidekick.util (libraries containers alcotest qcheck sidekick.util
sidekick_test_simplex2 sidekick_test_util sidekick_test_minicc) sidekick_test_simplex2 sidekick_test_util sidekick_test_minicc)
(flags :standard -warn-error -a+8 -color always)) (flags :standard -warn-error -a+8 -color always))