]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / ocaml / Makefile.in
index a59228b34bbaa96eddcda88c80a781c3f43d43d2..93172fdd6c20b1cae35ade719d872b1d7d366d5f 100644 (file)
@@ -4,6 +4,7 @@ MODULES =                       \
        extlib                  \
        xml                     \
        registry                \
+       hmysql                  \
        utf8_macros             \
        thread                  \
        xmldiff                 \