blob: aa082a3cec2c15ee6c2338d4282bc8d38c444ce1 (
plain)
1
2
3
4
5
6
7
8
|
(include_subdirs unqualified)
(library
(public_name vericert)
(modules_without_implementation c debugTypes dwarfTypes)
(modules (:standard \ driver gCC deLexer))
(libraries menhirLib str unix ocamlgraph coq-smtcoq)
(flags (:standard -warn-error -A -w -8-9-16-20-26-27-32..36-39-41-44..45-50-60-67)))
|