]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/Makefile
Switching interpreter.
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
index cd63e8ab4419c522687a9e72ebad40956d373a56..5328d04d2569ec12e5932a94456ff3b7f90f34e3 100644 (file)
@@ -1,5 +1,5 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-urimanager postgres unix helm-mathql
+REQUIRES = helm-urimanager postgres unix natile-galax helm-mathql
 PREDICATES =
 
 INTERFACE_FILES = dbconn.mli utility.mli union.mli relation.mli diff.mli meet.mli sub.mli intersect.mli func.mli mqint.mli