]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql/Makefile
Modified Files:
[helm.git] / helm / ocaml / mathql / Makefile
1 PACKAGE = mathql
2 REQUIRES = helm-urimanager
3 PREDICATES =
4
5 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli
6
7 IMPLEMENTATION_FILES = mathQL.ml mQueryTParser.ml mQueryTLexer.ml \
8                        mQueryHTML.ml mQueryUtil.ml
9
10 EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi mQueryTLexer.cmi \
11                            mQueryTLexer.mll mQueryTParser.mly \
12                            mQueryHTML.ml mQueryHTML.cmi 
13
14 EXTRA_OBJECTS_TO_CLEAN = mQueryTParser.ml mQueryTParser.mli \
15                          mQueryTLexer.ml
16
17 include ../Makefile.common