X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2F.depend;h=179a7a5ef2418547511980f25f459b9da81a5b48;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=e67a0660ce681197fe6659b67fdda100e1abceb9;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git diff --git a/helm/software/components/hmysql/.depend b/helm/software/components/hmysql/.depend index e67a0660c..179a7a5ef 100644 --- a/helm/software/components/hmysql/.depend +++ b/helm/software/components/hmysql/.depend @@ -1,2 +1,7 @@ -hMysql.cmo: hMysql.cmi -hMysql.cmx: hMysql.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