X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FMakefile;fp=helm%2Focaml%2Fmathql_interpreter%2FMakefile;h=5769f6cde6a8467ad2c49cfc5db3fd27176451d4;hb=2ef44e8d1a908a08d31e6114c15898ae7dc8109e;hp=20335f6ce62d1e288ca43b58f12d7e4d1cdc57a3;hpb=3b401fbefb3830d4f3cdce189ac31559c0219a0d;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 20335f6ce..5769f6cde 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-urimanager pgocaml
+REQUIRES = helm-urimanager pgocaml unix
 PREDICATES =
 
 INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli diff.mli \