]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/Makefile
Commit of updates in intersect.ml/mli, mqint.ml, Makefile
[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