catala/compiler/verification/dune

(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))
Renamed and grouped modules cleanly 2022-01-08 20:37:04 +03:00			`(library`
			`(name verification)`
			`(public_name catala.verification)`
Make Z3 an optional dependency 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. 2022-03-08 20:32:02 +03:00			`(libraries`
			`bindlib`
			`utils`
			`dcalc`
			`runtime`
			`calendar`
			`(select`
			`z3backend.ml`
			`from`
			`(z3 -> z3backend.real.ml)`
			`(-> z3backend.dummy.ml))))`
Renamed and grouped modules cleanly 2022-01-08 20:37:04 +03:00
			`(documentation`
			`(package catala)`
			`(mld_files verification))`