]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/Makefile
mathql_interpreter: natile-galax package removed from Makefie and META
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
index 929f149e1c7d65964a1be2af441bcb5f8eb16366..18fcd5512029218e9b916d5714c8e15e3fcb340e 100644 (file)
@@ -1,6 +1,6 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-cic helm-cic_textual_parser \
-          postgres natile-galax helm-mathql
+REQUIRES = helm-cic helm-cic_textual_parser helm-mathql postgres
+#natile-galax 
 
 PREDICATES =