dependencies

[helm.git] / helm / ocaml / paramodulation / .depend

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
new file mode 100644 (file)
index 0000000..8a74093
--- /dev/null
+++ b/helm/ocaml/paramodulation/.depend
@@ -0,0 +1,13 @@
+inference.cmi: utils.cmi 
+utils.cmo: utils.cmi 
+utils.cmx: utils.cmi 
+inference.cmo: utils.cmi inference.cmi 
+inference.cmx: utils.cmx inference.cmi 
+path_indexing.cmo: utils.cmi trie.cmo inference.cmi 
+path_indexing.cmx: utils.cmx trie.cmx inference.cmx 
+discrimination_tree.cmo: utils.cmi trie.cmo inference.cmi 
+discrimination_tree.cmx: utils.cmx trie.cmx inference.cmx 
+indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo 
+indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx 
+saturation.cmo: utils.cmi inference.cmi indexing.cmo 
+saturation.cmx: utils.cmx inference.cmx indexing.cmx