Project

General

Profile

Download (271 Bytes) Statistics
| Branch: | Tag: | Revision:
1 719ae9fd Lélio Brun
(include_subdirs no)
2
3
(library
4
 (name seal_verifier)
5
 (public_name lustrec.seal_verifier)
6
 (libraries verifier_register lustrec_lib zustre_verifier)
7
 (optional))
8
9
(plugin
10
 (name seal_verifier)
11
 (libraries lustrec.seal_verifier)
12 ca7ff3f7 Lélio Brun
 (site
13
  (lustrec verifiers))
14 719ae9fd Lélio Brun
 (optional))