]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/.depend
First very-very-very-very-alfa release of a MathQL Interpreter implemented
[helm.git] / helm / ocaml / mathql_interpreter / .depend
diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/ocaml/mathql_interpreter/.depend
new file mode 100644 (file)
index 0000000..f880829
--- /dev/null
@@ -0,0 +1,26 @@
+eval.cmi: mathql.cmo 
+select.cmi: mathql.cmo 
+pattern.cmi: mathql.cmo 
+mqint.cmi: mathql.cmo 
+dbconn.cmo: mathql.cmo dbconn.cmi 
+dbconn.cmx: mathql.cmx dbconn.cmi 
+eval.cmo: mathql.cmo eval.cmi 
+eval.cmx: mathql.cmx eval.cmi 
+utility.cmo: utility.cmi 
+utility.cmx: utility.cmi 
+func.cmo: func.cmi 
+func.cmx: func.cmi 
+select.cmo: func.cmi mathql.cmo utility.cmi select.cmi 
+select.cmx: func.cmx mathql.cmx utility.cmx select.cmi 
+intersect.cmo: intersect.cmi 
+intersect.cmx: intersect.cmi 
+union.cmo: union.cmi 
+union.cmx: union.cmi 
+pattern.cmo: dbconn.cmi eval.cmi utility.cmi pattern.cmi 
+pattern.cmx: dbconn.cmx eval.cmx utility.cmx pattern.cmi 
+use.cmo: dbconn.cmi utility.cmi use.cmi 
+use.cmx: dbconn.cmx utility.cmx use.cmi 
+mqint.cmo: dbconn.cmi eval.cmi intersect.cmi mathql.cmo pattern.cmi \
+    select.cmi union.cmi use.cmi utility.cmi mqint.cmi 
+mqint.cmx: dbconn.cmx eval.cmx intersect.cmx mathql.cmx pattern.cmx \
+    select.cmx union.cmx use.cmx utility.cmx mqint.cmi