]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/Makefile
faster database format implemented
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
1 PACKAGE = mathql_interpreter
2 REQUIRES = helm-urimanager pgocaml unix
3 PREDICATES =
4
5 INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli diff.mli \
6                   sortedby.mli select.mli intersect.mli union.mli \
7                   pattern.mli use.mli mqint.mli
8
9 IMPLEMENTATION_FILES = mathql.ml $(INTERFACE_FILES:%.mli=%.ml)
10
11 EXTRA_OBJECTS_TO_INSTALL = mathql.ml mathql.cmi
12 EXTRA_OBJECTS_TO_CLEAN =
13
14
15 include ../Makefile.common