]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_generator/Makefile
Reindentation
[helm.git] / helm / ocaml / mathql_generator / Makefile
1 PACKAGE = mathql_generator
2
3 REQUIRES = helm-cic helm-cic_proof_checking helm-mathql
4
5 PREDICATES =
6
7 INTERFACE_FILES = mQGUtil.mli mQueryGenerator.mli \
8                   cGMatchConclusion.mli cGSearchPattern.mli \
9                   cGLocateInductive.mli
10
11 IMPLEMENTATION_FILES = mQGTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
12
13 EXTRA_OBJECTS_TO_INSTALL = mQGTypes.ml mQGTypes.cmi
14
15 EXTRA_OBJECTS_TO_CLEAN =
16
17 include ../Makefile.common