]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/Makefile
pgocaml ==> postgres
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
index 28c71737db037c1c4fc2b8898ac1c0e4f539b46b..f5714135815987f859d5cf8a8cf9a33263d640bc 100644 (file)
@@ -1,5 +1,5 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-urimanager pgocaml unix helm-mathql
+REQUIRES = helm-urimanager postgres unix helm-mathql
 PREDICATES =
 
 INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli diff.mli \