blob: e4cdc33b3d8c9bbc327b9ba736552e611583c037 (
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-core)
(libraries coqpp)
(modules coqpp_main))
|
