From 7b56e4ccf2c4e4a36c6b4062891d48407baf980a Mon Sep 17 00:00:00 2001 From: Alberto Griggio Date: Thu, 21 Jul 2005 21:38:36 +0000 Subject: [PATCH] dependencies --- helm/ocaml/paramodulation/.depend | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 helm/ocaml/paramodulation/.depend diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend new file mode 100644 index 000000000..8a74093c5 --- /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 -- 2.39.2