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