lustrec/src/tools/zustre/dune @ ca7ff3f7
1 |
(include_subdirs no) |
---|---|
2 |
|
3 |
(library |
4 |
(name zustre_verifier) |
5 |
(public_name lustrec.zustre_verifier) |
6 |
(wrapped false) |
7 |
(modules :standard \ zustre_test) |
8 |
(libraries verifier_register lustrec_lib z3 yojson) |
9 |
(optional)) |
10 |
|
11 |
(plugin |
12 |
(name zustre_verifier) |
13 |
(libraries lustrec.zustre_verifier) |
14 |
(site |
15 |
(lustrec verifiers)) |
16 |
(optional)) |