mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
e7e89873db
If Catala is compiled without Z3, trying to run it with the backend `Proof` will yield: ``` [ERROR] This instance of Catala was compiled without Z3 support. ``` and return 124 Note that this doesn't change the `make depends`, opam file or CI to account for it, it just enables it at the build-system level. There are also no hooks at this moment to have Catala self-document the options whith which it was compiled (e.g. in the `--help` screen). But that could be added in a more general way later, it's probably not really needed yet.
19 lines
278 B
Plaintext
19 lines
278 B
Plaintext
(library
|
|
(name verification)
|
|
(public_name catala.verification)
|
|
(libraries
|
|
bindlib
|
|
utils
|
|
dcalc
|
|
runtime
|
|
calendar
|
|
(select
|
|
z3backend.ml
|
|
from
|
|
(z3 -> z3backend.real.ml)
|
|
(-> z3backend.dummy.ml))))
|
|
|
|
(documentation
|
|
(package catala)
|
|
(mld_files verification))
|