]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/Makefile
New module HMysql (to abstract over Mysql and make profiling easier).
[helm.git] / helm / ocaml / extlib / Makefile
index 6dccb5a906add59a7c125e9618798716d2425f06..7035415203dbe4f9d6bd453e9b4895fb3e8cad32 100644 (file)
@@ -1,9 +1,10 @@
 PACKAGE = extlib
-REQUIRES =
+REQUIRES = mysql
 PREDICATES =
 
 INTERFACE_FILES = \
-        hExtlib.mli
+        hExtlib.mli \
+        hMysql.mli
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =