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)) |