X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2F.depend.opt;h=602c901b81f28e6d8f557a971cd84673bfb701c9;hb=7f9e313fe5ae4200f080f481a6b8b795a0618093;hp=e67a0660ce681197fe6659b67fdda100e1abceb9;hpb=2bc5d5bfa8278945527b3f36ffd467802899b148;p=helm.git diff --git a/helm/software/components/hmysql/.depend.opt b/helm/software/components/hmysql/.depend.opt index e67a0660c..602c901b8 100644 --- a/helm/software/components/hmysql/.depend.opt +++ b/helm/software/components/hmysql/.depend.opt @@ -1,2 +1,2 @@ -hMysql.cmo: hMysql.cmi -hMysql.cmx: hMysql.cmi +hSql.cmo: hSqlite3.cmx hMysql.cmx hSql.cmi +hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi