X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2F.depend;h=179a7a5ef2418547511980f25f459b9da81a5b48;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=d0d29cbd2cd835163df480c5e4cad61448620d58;hpb=ac741958783108ff31552e533c853e85c2ebb1c5;p=helm.git diff --git a/helm/software/components/hmysql/.depend b/helm/software/components/hmysql/.depend index d0d29cbd2..179a7a5ef 100644 --- a/helm/software/components/hmysql/.depend +++ b/helm/software/components/hmysql/.depend @@ -1,2 +1,7 @@ -hSql.cmo: hSql.cmi -hSql.cmx: hSql.cmi +hSql.cmi : +hSqlite3.cmo : +hSqlite3.cmx : +hMysql.cmo : +hMysql.cmx : +hSql.cmo : hSqlite3.cmo hMysql.cmo hSql.cmi +hSql.cmx : hSqlite3.cmx hMysql.cmx hSql.cmi