mathql query generator interface patched

[helm.git] / helm / ocaml / mathql_generator / Makefile

diff --git a/helm/ocaml/mathql_generator/Makefile b/helm/ocaml/mathql_generator/Makefile
new file mode 100644 (file)
index 0000000..6675c58
--- /dev/null
+++ b/helm/ocaml/mathql_generator/Makefile
@@ -0,0 +1,13 @@
+PACKAGE = mathql_generator
+REQUIRES = helm-urimanager helm-mathql helm-cic helm-cic_proof_checking
+PREDICATES =
+
+INTERFACE_FILES = mQueryLevels.mli mQueryLevels2.mli mQueryGenerator.mli
+
+IMPLEMENTATION_FILES = mQueryLevels.ml mQueryLevels2.ml mQueryGenerator.ml
+
+EXTRA_OBJECTS_TO_INSTALL =
+
+EXTRA_OBJECTS_TO_CLEAN =
+
+include ../Makefile.common