blob: d4b49301fb443617bc0fb4723e28d4daf60104cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)
(library
(name coqpp)
(wrapped false)
(modules coqpp_ast coqpp_lex coqpp_parse coqpp_parser)
(modules_without_implementation coqpp_ast))
(executable
(name coqpp_main)
(public_name coqpp)
(package coq)
(libraries coqpp)
(modules coqpp_main))
|
