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

chore: finish moving to dune

Browse source
This commit is contained in:
Simon Cruanes 2019-01-18 18:18:36 -06:00 • committed by Guillaume Bury
parent 9d729b2136
commit 5846ae7e17
2 changed files with 15 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
tests/dune Normal file
View file

@ -0,0 +1,15 @@
(executable
(name test_api)
(libraries msat msat.tseitin msat.backend minismt.sat minismt.smt minismt.mcsat dolmen)
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string)
(ocamlopt_flags :standard -O3 -color always
-unbox-closures -unbox-closures-factor 20)
)
(alias
(name runtest)
(deps test_api.exe)
(action (run %{deps})))

16
tests/jbuild
View file

@ -1,16 +0,0 @@
; vim:ft=lisp:
(executable
((name test_api)
(libraries (msat msat.tseitin msat.backend minismt.sat minismt.smt minismt.mcsat dolmen))
(flags (:standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string))
(ocamlopt_flags (:standard -O3 -color always
-unbox-closures -unbox-closures-factor 20))
))
(alias
((name runtest)
(deps (test_api.exe))
(action (run ${<}))))