From 990530d17001326448884ea9bdd0d756af9280d9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 28 Dec 2018 15:33:07 +0100 Subject: [PATCH] make depend.opt --- matita/components/content/.depend.opt | 13 ++--- matita/components/content_pres/.depend.opt | 46 ++++++----------- matita/components/disambiguation/.depend.opt | 10 ++-- matita/components/extlib/.depend.opt | 31 +++++------- matita/components/getter/.depend.opt | 49 +++++++------------ matita/components/grafite/.depend.opt | 4 +- matita/components/grafite_engine/.depend.opt | 12 ++--- matita/components/grafite_parser/.depend.opt | 6 +-- matita/components/library/.depend.opt | 9 ++-- matita/components/logger/.depend.opt | 3 +- matita/components/ng_cic_content/.depend.opt | 6 +-- .../components/ng_disambiguation/.depend.opt | 17 +++---- matita/components/ng_extraction/.depend | 10 ++-- matita/components/ng_extraction/.depend.opt | 40 +++++---------- matita/components/ng_kernel/.depend | 6 +-- matita/components/ng_kernel/.depend.opt | 47 ++++++------------ matita/components/ng_library/.depend.opt | 3 +- matita/components/ng_refiner/.depend.opt | 32 +++++------- matita/components/ng_tactics/.depend.opt | 33 +++++-------- matita/components/registry/.depend.opt | 3 +- .../components/syntax_extensions/.depend.opt | 4 +- matita/components/thread/.depend.opt | 6 +-- matita/components/xml/.depend.opt | 6 +-- matita/matita/.depend | 10 ++-- matita/matita/.depend.opt | 3 +- 25 files changed, 138 insertions(+), 271 deletions(-) diff --git a/matita/components/content/.depend.opt b/matita/components/content/.depend.opt index 7bb00ba9b..9c0b365c6 100644 --- a/matita/components/content/.depend.opt +++ b/matita/components/content/.depend.opt @@ -1,14 +1,9 @@ +content.cmx : content.cmi content.cmi : -notationUtil.cmi : notationPt.cmx +notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi notationEnv.cmi : notationPt.cmx +notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi notationPp.cmi : notationPt.cmx notationEnv.cmi -notationPt.cmo : notationPt.cmx : -content.cmo : content.cmi -content.cmx : content.cmi -notationUtil.cmo : notationPt.cmx notationUtil.cmi notationUtil.cmx : notationPt.cmx notationUtil.cmi -notationEnv.cmo : notationUtil.cmi notationPt.cmx notationEnv.cmi -notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi -notationPp.cmo : notationPt.cmx notationEnv.cmi notationPp.cmi -notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi +notationUtil.cmi : notationPt.cmx diff --git a/matita/components/content_pres/.depend.opt b/matita/components/content_pres/.depend.opt index 4deb6e591..211b4fc51 100644 --- a/matita/components/content_pres/.depend.opt +++ b/matita/components/content_pres/.depend.opt @@ -1,38 +1,24 @@ -renderingAttrs.cmi : -cicNotationLexer.cmi : -cicNotationParser.cmi : -mpresentation.cmi : +box.cmx : renderingAttrs.cmx box.cmi box.cmi : -content2presMatcher.cmi : -termContentPres.cmi : cicNotationParser.cmi +boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \ + boxPp.cmi boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi -cicNotationPres.cmi : mpresentation.cmi box.cmi -content2pres.cmi : termContentPres.cmi cicNotationPres.cmi -renderingAttrs.cmo : renderingAttrs.cmi -renderingAttrs.cmx : renderingAttrs.cmi -cicNotationLexer.cmo : cicNotationLexer.cmi cicNotationLexer.cmx : cicNotationLexer.cmi -cicNotationParser.cmo : cicNotationLexer.cmi cicNotationParser.cmi +cicNotationLexer.cmi : cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi -mpresentation.cmo : mpresentation.cmi -mpresentation.cmx : mpresentation.cmi -box.cmo : renderingAttrs.cmi box.cmi -box.cmx : renderingAttrs.cmx box.cmi -content2presMatcher.cmo : content2presMatcher.cmi -content2presMatcher.cmx : content2presMatcher.cmi -termContentPres.cmo : renderingAttrs.cmi content2presMatcher.cmi \ - cicNotationParser.cmi termContentPres.cmi -termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \ - cicNotationParser.cmx termContentPres.cmi -boxPp.cmo : renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \ - boxPp.cmi -boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \ - boxPp.cmi -cicNotationPres.cmo : renderingAttrs.cmi mpresentation.cmi box.cmi \ - cicNotationPres.cmi +cicNotationParser.cmi : cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \ cicNotationPres.cmi -content2pres.cmo : termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \ - cicNotationPres.cmi box.cmi content2pres.cmi +cicNotationPres.cmi : mpresentation.cmi box.cmi content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \ cicNotationPres.cmx box.cmx content2pres.cmi +content2pres.cmi : termContentPres.cmi cicNotationPres.cmi +content2presMatcher.cmx : content2presMatcher.cmi +content2presMatcher.cmi : +mpresentation.cmx : mpresentation.cmi +mpresentation.cmi : +renderingAttrs.cmx : renderingAttrs.cmi +renderingAttrs.cmi : +termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \ + cicNotationParser.cmx termContentPres.cmi +termContentPres.cmi : cicNotationParser.cmi diff --git a/matita/components/disambiguation/.depend.opt b/matita/components/disambiguation/.depend.opt index 735bea7f7..1f1711ae7 100644 --- a/matita/components/disambiguation/.depend.opt +++ b/matita/components/disambiguation/.depend.opt @@ -1,11 +1,7 @@ -disambiguateTypes.cmi : +disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi disambiguate.cmi : disambiguateTypes.cmi -multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi -disambiguateTypes.cmo : disambiguateTypes.cmi disambiguateTypes.cmx : disambiguateTypes.cmi -disambiguate.cmo : disambiguateTypes.cmi disambiguate.cmi -disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi -multiPassDisambiguator.cmo : disambiguateTypes.cmi disambiguate.cmi \ - multiPassDisambiguator.cmi +disambiguateTypes.cmi : multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \ multiPassDisambiguator.cmi +multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi diff --git a/matita/components/extlib/.depend.opt b/matita/components/extlib/.depend.opt index e7b0a3bc7..12de49274 100644 --- a/matita/components/extlib/.depend.opt +++ b/matita/components/extlib/.depend.opt @@ -1,27 +1,18 @@ +componentsConf.cmx : componentsConf.cmi componentsConf.cmi : -hExtlib.cmi : -hMarshal.cmi : -patternMatcher.cmi : -hLog.cmi : -trie.cmi : +discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi discrimination_tree.cmi : -hTopoSort.cmi : +graphvizPp.cmx : graphvizPp.cmi graphvizPp.cmi : -componentsConf.cmo : componentsConf.cmi -componentsConf.cmx : componentsConf.cmi -hExtlib.cmo : hExtlib.cmi hExtlib.cmx : hExtlib.cmi -hMarshal.cmo : hExtlib.cmi hMarshal.cmi +hExtlib.cmi : +hLog.cmx : hLog.cmi +hLog.cmi : hMarshal.cmx : hExtlib.cmx hMarshal.cmi -patternMatcher.cmo : patternMatcher.cmi +hMarshal.cmi : +hTopoSort.cmx : hTopoSort.cmi +hTopoSort.cmi : patternMatcher.cmx : patternMatcher.cmi -hLog.cmo : hLog.cmi -hLog.cmx : hLog.cmi -trie.cmo : trie.cmi +patternMatcher.cmi : trie.cmx : trie.cmi -discrimination_tree.cmo : trie.cmi hExtlib.cmi discrimination_tree.cmi -discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi -hTopoSort.cmo : hTopoSort.cmi -hTopoSort.cmx : hTopoSort.cmi -graphvizPp.cmo : graphvizPp.cmi -graphvizPp.cmx : graphvizPp.cmi +trie.cmi : diff --git a/matita/components/getter/.depend.opt b/matita/components/getter/.depend.opt index 7c2b60586..1d016d277 100644 --- a/matita/components/getter/.depend.opt +++ b/matita/components/getter/.depend.opt @@ -1,38 +1,23 @@ -http_getter_wget.cmi : -http_getter_logger.cmi : -http_getter_misc.cmi : -http_getter_const.cmi : -http_getter_env.cmi : http_getter_types.cmx -http_getter_storage.cmi : -http_getter_common.cmi : http_getter_types.cmx +http_getter.cmx : http_getter_wget.cmx http_getter_types.cmx \ + http_getter_storage.cmx http_getter_misc.cmx http_getter_logger.cmx \ + http_getter_env.cmx http_getter_const.cmx http_getter_common.cmx \ + http_getter.cmi http_getter.cmi : http_getter_types.cmx -http_getter_types.cmo : -http_getter_types.cmx : -http_getter_wget.cmo : http_getter_types.cmx http_getter_wget.cmi -http_getter_wget.cmx : http_getter_types.cmx http_getter_wget.cmi -http_getter_logger.cmo : http_getter_logger.cmi -http_getter_logger.cmx : http_getter_logger.cmi -http_getter_misc.cmo : http_getter_logger.cmi http_getter_misc.cmi -http_getter_misc.cmx : http_getter_logger.cmx http_getter_misc.cmi -http_getter_const.cmo : http_getter_const.cmi +http_getter_common.cmx : http_getter_types.cmx http_getter_misc.cmx \ + http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi +http_getter_common.cmi : http_getter_types.cmx http_getter_const.cmx : http_getter_const.cmi -http_getter_env.cmo : http_getter_types.cmx http_getter_misc.cmi \ - http_getter_logger.cmi http_getter_const.cmi http_getter_env.cmi +http_getter_const.cmi : http_getter_env.cmx : http_getter_types.cmx http_getter_misc.cmx \ http_getter_logger.cmx http_getter_const.cmx http_getter_env.cmi -http_getter_storage.cmo : http_getter_wget.cmi http_getter_types.cmx \ - http_getter_misc.cmi http_getter_env.cmi http_getter_storage.cmi +http_getter_env.cmi : http_getter_types.cmx +http_getter_logger.cmx : http_getter_logger.cmi +http_getter_logger.cmi : +http_getter_misc.cmx : http_getter_logger.cmx http_getter_misc.cmi +http_getter_misc.cmi : http_getter_storage.cmx : http_getter_wget.cmx http_getter_types.cmx \ http_getter_misc.cmx http_getter_env.cmx http_getter_storage.cmi -http_getter_common.cmo : http_getter_types.cmx http_getter_misc.cmi \ - http_getter_logger.cmi http_getter_env.cmi http_getter_common.cmi -http_getter_common.cmx : http_getter_types.cmx http_getter_misc.cmx \ - http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi -http_getter.cmo : http_getter_wget.cmi http_getter_types.cmx \ - http_getter_storage.cmi http_getter_misc.cmi http_getter_logger.cmi \ - http_getter_env.cmi http_getter_const.cmi http_getter_common.cmi \ - http_getter.cmi -http_getter.cmx : http_getter_wget.cmx http_getter_types.cmx \ - http_getter_storage.cmx http_getter_misc.cmx http_getter_logger.cmx \ - http_getter_env.cmx http_getter_const.cmx http_getter_common.cmx \ - http_getter.cmi +http_getter_storage.cmi : +http_getter_types.cmx : +http_getter_wget.cmx : http_getter_types.cmx http_getter_wget.cmi +http_getter_wget.cmi : diff --git a/matita/components/grafite/.depend.opt b/matita/components/grafite/.depend.opt index 4a1ca42e9..5dabb8012 100644 --- a/matita/components/grafite/.depend.opt +++ b/matita/components/grafite/.depend.opt @@ -1,5 +1,3 @@ -grafiteAstPp.cmi : grafiteAst.cmx -grafiteAst.cmo : grafiteAst.cmx : -grafiteAstPp.cmo : grafiteAst.cmx grafiteAstPp.cmi grafiteAstPp.cmx : grafiteAst.cmx grafiteAstPp.cmi +grafiteAstPp.cmi : grafiteAst.cmx diff --git a/matita/components/grafite_engine/.depend.opt b/matita/components/grafite_engine/.depend.opt index e6d4942c6..696b45881 100644 --- a/matita/components/grafite_engine/.depend.opt +++ b/matita/components/grafite_engine/.depend.opt @@ -1,11 +1,7 @@ -grafiteTypes.cmi : -nCicCoercDeclaration.cmi : grafiteTypes.cmi +grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \ + grafiteEngine.cmi grafiteEngine.cmi : grafiteTypes.cmi -grafiteTypes.cmo : grafiteTypes.cmi grafiteTypes.cmx : grafiteTypes.cmi -nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.cmi +grafiteTypes.cmi : nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi -grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \ - grafiteEngine.cmi -grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \ - grafiteEngine.cmi +nCicCoercDeclaration.cmi : grafiteTypes.cmi diff --git a/matita/components/grafite_parser/.depend.opt b/matita/components/grafite_parser/.depend.opt index 752b0d88d..e0e6dac9c 100644 --- a/matita/components/grafite_parser/.depend.opt +++ b/matita/components/grafite_parser/.depend.opt @@ -1,6 +1,4 @@ -grafiteParser.cmi : -print_grammar.cmi : grafiteParser.cmi -grafiteParser.cmo : grafiteParser.cmi grafiteParser.cmx : grafiteParser.cmi -print_grammar.cmo : print_grammar.cmi +grafiteParser.cmi : print_grammar.cmx : print_grammar.cmi +print_grammar.cmi : grafiteParser.cmi diff --git a/matita/components/library/.depend.opt b/matita/components/library/.depend.opt index 6f2769b94..27ecf9383 100644 --- a/matita/components/library/.depend.opt +++ b/matita/components/library/.depend.opt @@ -1,9 +1,6 @@ +librarian.cmx : librarian.cmi librarian.cmi : -libraryMisc.cmi : +libraryClean.cmx : libraryClean.cmi libraryClean.cmi : -librarian.cmo : librarian.cmi -librarian.cmx : librarian.cmi -libraryMisc.cmo : libraryMisc.cmi libraryMisc.cmx : libraryMisc.cmi -libraryClean.cmo : libraryClean.cmi -libraryClean.cmx : libraryClean.cmi +libraryMisc.cmi : diff --git a/matita/components/logger/.depend.opt b/matita/components/logger/.depend.opt index d1b4c3716..ed934897f 100644 --- a/matita/components/logger/.depend.opt +++ b/matita/components/logger/.depend.opt @@ -1,3 +1,2 @@ -helmLogger.cmi : -helmLogger.cmo : helmLogger.cmi helmLogger.cmx : helmLogger.cmi +helmLogger.cmi : diff --git a/matita/components/ng_cic_content/.depend.opt b/matita/components/ng_cic_content/.depend.opt index 01e2f5b1e..df8d6d635 100644 --- a/matita/components/ng_cic_content/.depend.opt +++ b/matita/components/ng_cic_content/.depend.opt @@ -1,6 +1,4 @@ -ncic2astMatcher.cmi : +interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi interpretations.cmi : -ncic2astMatcher.cmo : ncic2astMatcher.cmi ncic2astMatcher.cmx : ncic2astMatcher.cmi -interpretations.cmo : ncic2astMatcher.cmi interpretations.cmi -interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi +ncic2astMatcher.cmi : diff --git a/matita/components/ng_disambiguation/.depend.opt b/matita/components/ng_disambiguation/.depend.opt index 79fd839b2..d5eef6bc0 100644 --- a/matita/components/ng_disambiguation/.depend.opt +++ b/matita/components/ng_disambiguation/.depend.opt @@ -1,14 +1,9 @@ -nnumber_notation.cmi : -disambiguateChoices.cmi : -nCicDisambiguate.cmi : -grafiteDisambiguate.cmi : -nnumber_notation.cmo : nnumber_notation.cmi -nnumber_notation.cmx : nnumber_notation.cmi -disambiguateChoices.cmo : nnumber_notation.cmi disambiguateChoices.cmi disambiguateChoices.cmx : nnumber_notation.cmx disambiguateChoices.cmi -nCicDisambiguate.cmo : nCicDisambiguate.cmi -nCicDisambiguate.cmx : nCicDisambiguate.cmi -grafiteDisambiguate.cmo : nCicDisambiguate.cmi disambiguateChoices.cmi \ - grafiteDisambiguate.cmi +disambiguateChoices.cmi : grafiteDisambiguate.cmx : nCicDisambiguate.cmx disambiguateChoices.cmx \ grafiteDisambiguate.cmi +grafiteDisambiguate.cmi : +nCicDisambiguate.cmx : nCicDisambiguate.cmi +nCicDisambiguate.cmi : +nnumber_notation.cmx : nnumber_notation.cmi +nnumber_notation.cmi : diff --git a/matita/components/ng_extraction/.depend b/matita/components/ng_extraction/.depend index f4d034d1b..144c13d55 100644 --- a/matita/components/ng_extraction/.depend +++ b/matita/components/ng_extraction/.depend @@ -1,8 +1,6 @@ -common.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \ - common.cmi -common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ - common.cmi -common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi +common.cmo : ocamlExtractionTable.cmi mlutil.cmi coq.cmi common.cmi +common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi +common.cmi : ocamlExtractionTable.cmi coq.cmi coq.cmo : coq.cmi coq.cmx : coq.cmi coq.cmi : @@ -10,7 +8,7 @@ extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \ common.cmi extraction.cmi extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx extraction.cmi -extraction.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi +extraction.cmi : ocamlExtractionTable.cmi miniml.cmo miniml.cmo : coq.cmi miniml.cmx : coq.cmx mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi diff --git a/matita/components/ng_extraction/.depend.opt b/matita/components/ng_extraction/.depend.opt index 968d8ffe9..3b0b9b57c 100644 --- a/matita/components/ng_extraction/.depend.opt +++ b/matita/components/ng_extraction/.depend.opt @@ -1,34 +1,20 @@ -nCicExtraction.cmi : -coq.cmi : -ocamlExtractionTable.cmi : miniml.cmx coq.cmi -mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi -common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi -extraction.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi -ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi -ocamlExtraction.cmi : ocamlExtractionTable.cmi -miniml.cmo : coq.cmi -miniml.cmx : coq.cmx -nCicExtraction.cmo : nCicExtraction.cmi -nCicExtraction.cmx : nCicExtraction.cmi -coq.cmo : coq.cmi +common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi +common.cmi : ocamlExtractionTable.cmi coq.cmi coq.cmx : coq.cmi -ocamlExtractionTable.cmo : miniml.cmx coq.cmi ocamlExtractionTable.cmi -ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi -mlutil.cmo : ocamlExtractionTable.cmi miniml.cmx coq.cmi mlutil.cmi -mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi -common.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \ - common.cmi -common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ - common.cmi -extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \ - common.cmi extraction.cmi +coq.cmi : extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx extraction.cmi -ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \ - common.cmi ocaml.cmi +extraction.cmi : ocamlExtractionTable.cmi miniml.cmx +miniml.cmx : coq.cmx +mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi +mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi +nCicExtraction.cmx : nCicExtraction.cmi +nCicExtraction.cmi : ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx ocaml.cmi -ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \ - coq.cmi ocamlExtraction.cmi +ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \ coq.cmx ocamlExtraction.cmi +ocamlExtraction.cmi : ocamlExtractionTable.cmi +ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi +ocamlExtractionTable.cmi : miniml.cmx coq.cmi diff --git a/matita/components/ng_kernel/.depend b/matita/components/ng_kernel/.depend index 13791fbad..ca1b782f6 100644 --- a/matita/components/ng_kernel/.depend +++ b/matita/components/ng_kernel/.depend @@ -13,10 +13,8 @@ nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ nCicEnvironment.cmx nCic.cmx nCicReduction.cmi nCicReduction.cmi : nCic.cmo -nCicSubstitution.cmo : nReference.cmi nCicUtils.cmi nCic.cmo \ - nCicSubstitution.cmi -nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \ - nCicSubstitution.cmi +nCicSubstitution.cmo : nCicUtils.cmi nCic.cmo nCicSubstitution.cmi +nCicSubstitution.cmx : nCicUtils.cmx nCic.cmx nCicSubstitution.cmi nCicSubstitution.cmi : nCic.cmo nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \ nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmo \ diff --git a/matita/components/ng_kernel/.depend.opt b/matita/components/ng_kernel/.depend.opt index 5b0507784..97f4e283a 100644 --- a/matita/components/ng_kernel/.depend.opt +++ b/matita/components/ng_kernel/.depend.opt @@ -1,41 +1,24 @@ -nUri.cmi : -nReference.cmi : nUri.cmi -nCicUtils.cmi : nCic.cmx -nCicSubstitution.cmi : nCic.cmx -nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmx -nCicReduction.cmi : nCic.cmx -nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx -nCicUntrusted.cmi : nCic.cmx -nCicPp.cmi : nReference.cmi nCic.cmx -nCic.cmo : nUri.cmi nReference.cmi nCic.cmx : nUri.cmx nReference.cmx -nUri.cmo : nUri.cmi -nUri.cmx : nUri.cmi -nReference.cmo : nUri.cmi nReference.cmi -nReference.cmx : nUri.cmx nReference.cmi -nCicUtils.cmo : nReference.cmi nCic.cmx nCicUtils.cmi -nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi -nCicSubstitution.cmo : nReference.cmi nCicUtils.cmi nCic.cmx \ - nCicSubstitution.cmi -nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \ - nCicSubstitution.cmi -nCicEnvironment.cmo : nUri.cmi nReference.cmi nCic.cmx nCicEnvironment.cmi nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi -nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ - nCicEnvironment.cmi nCic.cmx nCicReduction.cmi +nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmx +nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ + nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicPp.cmi : nReference.cmi nCic.cmx nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ nCicEnvironment.cmx nCic.cmx nCicReduction.cmi -nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \ - nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmx \ - nCicTypeChecker.cmi +nCicReduction.cmi : nCic.cmx +nCicSubstitution.cmx : nCicUtils.cmx nCic.cmx nCicSubstitution.cmi +nCicSubstitution.cmi : nCic.cmx nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \ nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \ nCicTypeChecker.cmi -nCicUntrusted.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ - nCicReduction.cmi nCicEnvironment.cmi nCic.cmx nCicUntrusted.cmi +nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi -nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \ - nCicEnvironment.cmi nCic.cmx nCicPp.cmi -nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ - nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicUntrusted.cmi : nCic.cmx +nCicUtils.cmx : nCic.cmx nCicUtils.cmi +nCicUtils.cmi : nCic.cmx +nReference.cmx : nUri.cmx nReference.cmi +nReference.cmi : nUri.cmi +nUri.cmx : nUri.cmi +nUri.cmi : diff --git a/matita/components/ng_library/.depend.opt b/matita/components/ng_library/.depend.opt index a571a865c..07d53f5dd 100644 --- a/matita/components/ng_library/.depend.opt +++ b/matita/components/ng_library/.depend.opt @@ -1,3 +1,2 @@ -nCicLibrary.cmi : -nCicLibrary.cmo : nCicLibrary.cmi nCicLibrary.cmx : nCicLibrary.cmi +nCicLibrary.cmi : diff --git a/matita/components/ng_refiner/.depend.opt b/matita/components/ng_refiner/.depend.opt index d8295760a..dab873890 100644 --- a/matita/components/ng_refiner/.depend.opt +++ b/matita/components/ng_refiner/.depend.opt @@ -1,27 +1,17 @@ -nDiscriminationTree.cmi : -nCicMetaSubst.cmi : -nCicUnifHint.cmi : +nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \ + nCicMetaSubst.cmx nCicCoercion.cmi nCicCoercion.cmi : nCicUnifHint.cmi +nCicMetaSubst.cmx : nCicMetaSubst.cmi +nCicMetaSubst.cmi : +nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi nCicRefineUtil.cmi : -nCicUnification.cmi : nCicCoercion.cmi +nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \ + nCicCoercion.cmx nCicRefiner.cmi nCicRefiner.cmi : nCicCoercion.cmi -nDiscriminationTree.cmo : nDiscriminationTree.cmi -nDiscriminationTree.cmx : nDiscriminationTree.cmi -nCicMetaSubst.cmo : nCicMetaSubst.cmi -nCicMetaSubst.cmx : nCicMetaSubst.cmi -nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \ - nCicUnifHint.cmi nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \ nCicUnifHint.cmi -nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \ - nCicMetaSubst.cmi nCicCoercion.cmi -nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \ - nCicMetaSubst.cmx nCicCoercion.cmi -nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi -nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi -nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi +nCicUnifHint.cmi : nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi -nCicRefiner.cmo : nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \ - nCicCoercion.cmi nCicRefiner.cmi -nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \ - nCicCoercion.cmx nCicRefiner.cmi +nCicUnification.cmi : nCicCoercion.cmi +nDiscriminationTree.cmx : nDiscriminationTree.cmi +nDiscriminationTree.cmi : diff --git a/matita/components/ng_tactics/.depend.opt b/matita/components/ng_tactics/.depend.opt index e8ca8210e..c8999df5a 100644 --- a/matita/components/ng_tactics/.depend.opt +++ b/matita/components/ng_tactics/.depend.opt @@ -1,30 +1,19 @@ +continuationals.cmx : continuationals.cmi continuationals.cmi : -nCicTacReduction.cmi : -nTacStatus.cmi : continuationals.cmi +nCicElim.cmx : nCicElim.cmi nCicElim.cmi : -nTactics.cmi : nTacStatus.cmi -nnAuto.cmi : nTacStatus.cmi +nCicTacReduction.cmx : nCicTacReduction.cmi +nCicTacReduction.cmi : +nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \ + nDestructTac.cmi nDestructTac.cmi : nTacStatus.cmi +nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \ + continuationals.cmx nInversion.cmi nInversion.cmi : nTacStatus.cmi -continuationals.cmo : continuationals.cmi -continuationals.cmx : continuationals.cmi -nCicTacReduction.cmo : nCicTacReduction.cmi -nCicTacReduction.cmx : nCicTacReduction.cmi -nTacStatus.cmo : nCicTacReduction.cmi continuationals.cmi nTacStatus.cmi nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi -nCicElim.cmo : nCicElim.cmi -nCicElim.cmx : nCicElim.cmi -nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi +nTacStatus.cmi : continuationals.cmi nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi -nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \ - continuationals.cmi nnAuto.cmi +nTactics.cmi : nTacStatus.cmi nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \ continuationals.cmx nnAuto.cmi -nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \ - nDestructTac.cmi -nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \ - nDestructTac.cmi -nInversion.cmo : nTactics.cmi nTacStatus.cmi nCicElim.cmi \ - continuationals.cmi nInversion.cmi -nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \ - continuationals.cmx nInversion.cmi +nnAuto.cmi : nTacStatus.cmi diff --git a/matita/components/registry/.depend.opt b/matita/components/registry/.depend.opt index 67113e67f..f28210446 100644 --- a/matita/components/registry/.depend.opt +++ b/matita/components/registry/.depend.opt @@ -1,3 +1,2 @@ -helm_registry.cmi : -helm_registry.cmo : helm_registry.cmi helm_registry.cmx : helm_registry.cmi +helm_registry.cmi : diff --git a/matita/components/syntax_extensions/.depend.opt b/matita/components/syntax_extensions/.depend.opt index 24f371ca7..98ac1d844 100644 --- a/matita/components/syntax_extensions/.depend.opt +++ b/matita/components/syntax_extensions/.depend.opt @@ -1,5 +1,3 @@ +utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi utf8Macro.cmi : -utf8MacroTable.cmo : utf8MacroTable.cmx : -utf8Macro.cmo : utf8MacroTable.cmx utf8Macro.cmi -utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi diff --git a/matita/components/thread/.depend.opt b/matita/components/thread/.depend.opt index d68336af1..8ee8dbbec 100644 --- a/matita/components/thread/.depend.opt +++ b/matita/components/thread/.depend.opt @@ -1,6 +1,4 @@ -threadSafe.cmi : +extThread.cmx : extThread.cmi extThread.cmi : -threadSafe.cmo : threadSafe.cmi threadSafe.cmx : threadSafe.cmi -extThread.cmo : extThread.cmi -extThread.cmx : extThread.cmi +threadSafe.cmi : diff --git a/matita/components/xml/.depend.opt b/matita/components/xml/.depend.opt index fd3f626b9..36a543808 100644 --- a/matita/components/xml/.depend.opt +++ b/matita/components/xml/.depend.opt @@ -1,6 +1,4 @@ -xml.cmi : -xmlPushParser.cmi : -xml.cmo : xml.cmi xml.cmx : xml.cmi -xmlPushParser.cmo : xmlPushParser.cmi +xml.cmi : xmlPushParser.cmx : xmlPushParser.cmi +xmlPushParser.cmi : diff --git a/matita/matita/.depend b/matita/matita/.depend index e6ef08473..c8ed208c3 100644 --- a/matita/matita/.depend +++ b/matita/matita/.depend @@ -12,11 +12,9 @@ lablGraphviz.cmo : lablGraphviz.cmi lablGraphviz.cmx : lablGraphviz.cmi lablGraphviz.cmi : matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \ - matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmo \ - applyTransformation.cmi + matitaInit.cmi matitaGui.cmi buildTimeConf.cmo applyTransformation.cmi matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \ - matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \ - applyTransformation.cmx + matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi matitaEngine.cmi : applyTransformation.cmi @@ -25,9 +23,9 @@ matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi matitaExcPp.cmi : matitaGeneratedGui.cmo : matitaGeneratedGui.cmx : -matitaGtkMisc.cmo : matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \ +matitaGtkMisc.cmo : matitaGeneratedGui.cmo buildTimeConf.cmo \ matitaGtkMisc.cmi -matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \ +matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \ matitaGtkMisc.cmi matitaGtkMisc.cmi : matitaGeneratedGui.cmo matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt index 1487a6514..447ce30aa 100644 --- a/matita/matita/.depend.opt +++ b/matita/matita/.depend.opt @@ -7,8 +7,7 @@ cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi lablGraphviz.cmx : lablGraphviz.cmi lablGraphviz.cmi : matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \ - matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \ - applyTransformation.cmx + matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi matitaEngine.cmi : applyTransformation.cmi matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi -- 2.39.2