CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-09 22:16:10 +03:00
Code Issues Projects Releases Wiki Activity

Add z3 dependency to build system

Browse Source
This commit is contained in:
Aymeric Fromherz 2022-01-07 16:58:24 +01:00
parent ee92ed2385
commit 6c67ed03bb
3 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -21,7 +21,7 @@ dependencies-ocaml:
ocamlformat ANSITerminal sedlex menhir menhirLib dune cmdliner obelisk \ ocamlformat ANSITerminal sedlex menhir menhirLib dune cmdliner obelisk \
re obelisk unionfind bindlib zarith zarith_stubs_js ocamlgraph \ re obelisk unionfind bindlib zarith zarith_stubs_js ocamlgraph \
js_of_ocaml-compiler js_of_ocaml js_of_ocaml-ppx calendar camomile \ js_of_ocaml-compiler js_of_ocaml js_of_ocaml-ppx calendar camomile \
visitors benchmark cppo odoc visitors benchmark cppo odoc z3
dependencies-js: dependencies-js:
$(MAKE) -C $(FRENCH_LAW_JS_LIB_DIR) dependencies $(MAKE) -C $(FRENCH_LAW_JS_LIB_DIR) dependencies

2
compiler/dcalc/dune
View File

@ -1,7 +1,7 @@
(library (library
(name dcalc) (name dcalc)
(public_name catala.dcalc) (public_name catala.dcalc)
(libraries bindlib unionFind utils re camomile runtime) (libraries bindlib unionFind utils re camomile runtime z3)
(preprocess (preprocess
(pps visitors.ppx))) (pps visitors.ppx)))

2
dune-project
View File

@ -62,6 +62,8 @@
(>= 3.8.0)) (>= 3.8.0))
(camomile (camomile
(>= 1.0.2)) (>= 1.0.2))
(z3
(>= 4.8.11))
(cppo (cppo
(>= 1)))) (>= 1))))