]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / ocaml / Makefile.in
index 0fd0bd9342cf27d3021876230bb44372d9acca85..93172fdd6c20b1cae35ade719d872b1d7d366d5f 100644 (file)
@@ -1,8 +1,10 @@
 # Warning: the modules must be in compilation order
 NULL =
 MODULES =                      \
+       extlib                  \
        xml                     \
        registry                \
+       hmysql                  \
        utf8_macros             \
        thread                  \
        xmldiff                 \