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

fix(build): make menhir+zarith mandatory deps

Browse source
This commit is contained in:
Simon Cruanes 2018-06-17 13:40:47 -05:00
parent eec7fdca2b
commit 83edbe7b48
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sidekick.opam
View file

@ -11,6 +11,8 @@ depends: [
"jbuilder" {build} "jbuilder" {build}
"containers" "containers"
"sequence" "sequence"
"zarith"
"menhir"
] ]
depopts: [ depopts: [
"dolmen" "dolmen"

1
src/smtlib/jbuild
View file

@ -6,7 +6,6 @@
(library (library
((name sidekick_smtlib) ((name sidekick_smtlib)
(public_name sidekick.smtlib) (public_name sidekick.smtlib)
(optional) ; only if deps present
(libraries (containers zarith sidekick.smt sidekick.util (libraries (containers zarith sidekick.smt sidekick.util
sidekick.smt.th_bool sidekick.backend)) sidekick.smt.th_bool sidekick.backend))
(flags (:standard -w +a-4-42-44-48-50-58-32-60@8 (flags (:standard -w +a-4-42-44-48-50-58-32-60@8