]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/Makefile
implemented the first bunch of useful functions
[helm.git] / helm / ocaml / extlib / Makefile
index 7035415203dbe4f9d6bd453e9b4895fb3e8cad32..936bf3b21184aff18a0352decea262bf6781371f 100644 (file)
@@ -1,5 +1,5 @@
 PACKAGE = extlib
-REQUIRES = mysql
+REQUIRES = unix mysql
 PREDICATES =
 
 INTERFACE_FILES = \