X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2FMakefile;h=356e6e068dfb159cdf054d486573596bd8824d37;hb=76ec6b95c6f462f7fdedf0bc87354fb874ef4a46;hp=7474507e37bb05bd575fba1ac46a8b561507fabd;hpb=ac741958783108ff31552e533c853e85c2ebb1c5;p=helm.git

diff --git a/helm/software/components/hmysql/Makefile b/helm/software/components/hmysql/Makefile
index 7474507e3..356e6e068 100644
--- a/helm/software/components/hmysql/Makefile
+++ b/helm/software/components/hmysql/Makefile
@@ -4,6 +4,8 @@ PREDICATES =
 INTERFACE_FILES = \
         hSql.mli 
 IMPLEMENTATION_FILES = \
+        hSqlite3.ml \
+        hMysql.ml \
 	$(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =