]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/Makefile
1ef0ab3fcd71a13e8ce80b390a3647a8c580bccf
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
1 PACKAGE = mathql_interpreter
2 REQUIRES = helm-urimanager postgres unix helm-mathql
3 PREDICATES =
4
5 INTERFACE_FILES = intersect.mli mqint.mli
6
7 IMPLEMENTATION_FILES = intersect.ml mqint.ml
8
9 # $(INTERFACE_FILES:%.mli=%.ml)
10
11 EXTRA_OBJECTS_TO_INSTALL = 
12
13 EXTRA_OBJECTS_TO_CLEAN =
14
15 include ../Makefile.common