]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/Makefile
Initial revision
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
1 PACKAGE = mathql_interpreter
2 REQUIRES = helm-urimanager postgres unix natile-galax helm-mathql
3 PREDICATES =
4
5 INTERFACE_FILES = dbconn.mli utility.mli union.mli relation.mli diff.mli meet.mli sub.mli intersect.mli func.mli property.mli pattern.mli mqint.mli
6
7 IMPLEMENTATION_FILES =  dbconn.ml utility.ml union.ml relation.ml diff.ml meet.ml sub.ml intersect.ml context.ml func.ml property.ml pattern.ml mqint.ml
8
9 # $(INTERFACE_FILES:%.mli=%.ml)
10
11 EXTRA_OBJECTS_TO_INSTALL = context.ml
12
13 EXTRA_OBJECTS_TO_CLEAN =
14
15 include ../Makefile.common