X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2F.depend;h=462e69e87fda67e018bceec2fae7cb5b33d73df7;hb=69ecdb3f3ec94440f1736b5e0247f2ced2e5b2c6;hp=fd3aadd145d13641b394422acc2e27a36b0ba29f;hpb=86ec68f575f6f781572d14d0aba9a98a860c94a6;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/ocaml/mathql_interpreter/.depend index fd3aadd14..462e69e87 100644 --- a/helm/ocaml/mathql_interpreter/.depend +++ b/helm/ocaml/mathql_interpreter/.depend @@ -1,38 +1,2 @@ -diff.cmi: mathql_semantics.cmo -sortedby.cmi: mathql_semantics.cmo -select.cmi: mathql_semantics.cmo -intersect.cmi: mathql_semantics.cmo -union.cmi: mathql_semantics.cmo -pattern.cmi: mathql_semantics.cmo -use.cmi: mathql_semantics.cmo -letin.cmi: mathql_semantics.cmo -dbconn.cmo: dbconn.cmi -dbconn.cmx: dbconn.cmi -eval.cmo: eval.cmi -eval.cmx: eval.cmi -utility.cmo: dbconn.cmi utility.cmi -utility.cmx: dbconn.cmx utility.cmi -func.cmo: dbconn.cmi utility.cmi func.cmi -func.cmx: dbconn.cmx utility.cmx func.cmi -diff.cmo: mathql_semantics.cmo diff.cmi -diff.cmx: mathql_semantics.cmx diff.cmi -sortedby.cmo: func.cmi mathql_semantics.cmo utility.cmi sortedby.cmi -sortedby.cmx: func.cmx mathql_semantics.cmx utility.cmx sortedby.cmi -select.cmo: func.cmi mathql_semantics.cmo utility.cmi select.cmi -select.cmx: func.cmx mathql_semantics.cmx utility.cmx select.cmi -intersect.cmo: mathql_semantics.cmo intersect.cmi -intersect.cmx: mathql_semantics.cmx intersect.cmi -union.cmo: mathql_semantics.cmo union.cmi -union.cmx: mathql_semantics.cmx union.cmi -pattern.cmo: dbconn.cmi eval.cmi mathql_semantics.cmo utility.cmi pattern.cmi -pattern.cmx: dbconn.cmx eval.cmx mathql_semantics.cmx utility.cmx pattern.cmi -use.cmo: dbconn.cmi mathql_semantics.cmo utility.cmi use.cmi -use.cmx: dbconn.cmx mathql_semantics.cmx utility.cmx use.cmi -letin.cmo: letin.cmi -letin.cmx: letin.cmi -mqint.cmo: dbconn.cmi diff.cmi eval.cmi intersect.cmi letin.cmi \ - mathql_semantics.cmo pattern.cmi select.cmi sortedby.cmi union.cmi \ - use.cmi utility.cmi mqint.cmi -mqint.cmx: dbconn.cmx diff.cmx eval.cmx intersect.cmx letin.cmx \ - mathql_semantics.cmx pattern.cmx select.cmx sortedby.cmx union.cmx \ - use.cmx utility.cmx mqint.cmi +mqint.cmo: mqint.cmi +mqint.cmx: mqint.cmi