From 1a177a0ccffd1481f77dabaafced91c4d293b1fb Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 5 Feb 2003 11:42:52 +0000 Subject: [PATCH] packege dependences calculation patched --- helm/gTopLevel/.depend | 353 ----------------------- helm/gTopLevel/Makefile | 4 +- helm/gTopLevel/topLevel/.depend | 4 - helm/gTopLevel/topLevel/Makefile | 7 +- helm/ocaml/Makefile.common.in | 4 +- helm/ocaml/cic/.depend | 38 --- helm/ocaml/cic_annotations/.depend | 42 --- helm/ocaml/cic_annotations_cache/.depend | 15 - helm/ocaml/cic_cache/.depend | 10 - helm/ocaml/cic_proof_checking/.depend | 82 ------ helm/ocaml/cic_textual_parser/.depend | 32 -- helm/ocaml/cic_unification/.depend | 37 --- helm/ocaml/getter/.depend | 29 -- helm/ocaml/pxp/.depend | 13 - helm/ocaml/tactics/.depend | 252 ---------------- helm/ocaml/urimanager/.depend | 4 - helm/ocaml/xml/.depend | 2 - 17 files changed, 11 insertions(+), 917 deletions(-) delete mode 100644 helm/gTopLevel/.depend delete mode 100644 helm/gTopLevel/topLevel/.depend delete mode 100644 helm/ocaml/cic/.depend delete mode 100644 helm/ocaml/cic_annotations/.depend delete mode 100644 helm/ocaml/cic_annotations_cache/.depend delete mode 100644 helm/ocaml/cic_cache/.depend delete mode 100644 helm/ocaml/cic_proof_checking/.depend delete mode 100644 helm/ocaml/cic_textual_parser/.depend delete mode 100644 helm/ocaml/cic_unification/.depend delete mode 100644 helm/ocaml/getter/.depend delete mode 100644 helm/ocaml/pxp/.depend delete mode 100644 helm/ocaml/tactics/.depend delete mode 100644 helm/ocaml/urimanager/.depend delete mode 100644 helm/ocaml/xml/.depend diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend deleted file mode 100644 index f9b8ac114..000000000 --- a/helm/gTopLevel/.depend +++ /dev/null @@ -1,353 +0,0 @@ -xml2Gdome.cmo: /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi xml2Gdome.cmi -xml2Gdome.cmx: /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/stream.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx xml2Gdome.cmi -xml2Gdome.cmi: /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi -proofEngine.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/discriminationTactics.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/eliminationTactics.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/equalityTactics.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/fourierR.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/introductionTactics.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/negationTactics.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/primitiveTactics.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineStructuralRules.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineTypes.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/reductionTactics.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/ring.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/variousTactics.cmi \ - proofEngine.cmi -proofEngine.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/discriminationTactics.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/eliminationTactics.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/equalityTactics.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/fourierR.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/introductionTactics.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/negationTactics.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/primitiveTactics.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineStructuralRules.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineTypes.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/reductionTactics.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/ring.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/variousTactics.cmx \ - proofEngine.cmi -proofEngine.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineTypes.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -doubleTypeInference.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - doubleTypeInference.cmi -doubleTypeInference.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - doubleTypeInference.cmi -doubleTypeInference.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cic2acic.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - doubleTypeInference.cmi /usr/lib/ocaml/3.06/hashtbl.cmi \ - /usr/lib/ocaml/3.06/list.cmi cic2acic.cmi -cic2acic.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - doubleTypeInference.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \ - /usr/lib/ocaml/3.06/list.cmx cic2acic.cmi -cic2acic.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi -cic2Xml.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2acic.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/stream.cmi \ - /usr/lib/ocaml/3.06/string.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi cic2Xml.cmi -cic2Xml.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx cic2acic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/stream.cmx \ - /usr/lib/ocaml/3.06/string.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx cic2Xml.cmi -cic2Xml.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2acic.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi -logicalOperations.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ - proofEngine.cmi logicalOperations.cmi -logicalOperations.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ - proofEngine.cmx logicalOperations.cmi -logicalOperations.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi -sequentPp.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2Xml.cmi \ - cic2acic.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi sequentPp.cmi -sequentPp.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx cic2Xml.cmx \ - cic2acic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/stream.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx sequentPp.cmi -sequentPp.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi -mQueryGenerator.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo -mQueryLevels.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi \ - mQueryLevels.cmi -mQueryLevels.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx \ - mQueryLevels.cmi -mQueryLevels2.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - mQueryGenerator.cmi -mQueryLevels2.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicMiniReduction.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - mQueryLevels2.cmi -mQueryLevels2.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicMiniReduction.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - mQueryLevels2.cmi -mQueryGenerator.cmo: /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmi \ - /usr/lib/ocaml/3.06/unix.cmi mQueryGenerator.cmi -mQueryGenerator.cmx: /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmx \ - /usr/lib/ocaml/3.06/unix.cmi mQueryGenerator.cmi -misc.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/string.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi misc.cmi -misc.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/string.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx misc.cmi -misc.cmi: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi -disambiguate.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicRefine.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/list.cmi mQueryGenerator.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi misc.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - disambiguate.cmi -disambiguate.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicRefine.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/list.cmx mQueryGenerator.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx misc.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - disambiguate.cmi -disambiguate.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -termEditor.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParserContext.cmi \ - disambiguate.cmi /usr/lib/ocaml/3.06/lablgtk/gEdit.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmi /usr/lib/ocaml/3.06/lexing.cmi \ - /usr/lib/ocaml/3.06/list.cmi termEditor.cmi -termEditor.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParserContext.cmx \ - disambiguate.cmx /usr/lib/ocaml/3.06/lablgtk/gEdit.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmx /usr/lib/ocaml/3.06/lexing.cmx \ - /usr/lib/ocaml/3.06/list.cmx termEditor.cmi -termEditor.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - disambiguate.cmi /usr/lib/ocaml/3.06/lablgtk/gObj.cmi -applyStylesheets.cmo: cic2Xml.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmi \ - /usr/lib/ocaml/3.06/gdome2-xslt/gdome_xslt.cmi \ - /usr/lib/ocaml/3.06/list.cmi misc.cmi sequentPp.cmi \ - /usr/lib/ocaml/3.06/sys.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi xml2Gdome.cmi \ - applyStylesheets.cmi -applyStylesheets.cmx: cic2Xml.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmx \ - /usr/lib/ocaml/3.06/gdome2-xslt/gdome_xslt.cmi \ - /usr/lib/ocaml/3.06/list.cmx misc.cmx sequentPp.cmx \ - /usr/lib/ocaml/3.06/sys.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx xml2Gdome.cmx \ - applyStylesheets.cmi -applyStylesheets.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cic2acic.cmi /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -termViewer.cmo: applyStylesheets.cmi cic2acic.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gData.cmi \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmi /usr/lib/ocaml/3.06/lablgtk/gaux.cmo \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gtkBase.cmo /usr/lib/ocaml/3.06/hashtbl.cmi \ - logicalOperations.cmi misc.cmi termViewer.cmi -termViewer.cmx: applyStylesheets.cmx cic2acic.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gData.cmx \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmx /usr/lib/ocaml/3.06/lablgtk/gaux.cmx \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gtkBase.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \ - logicalOperations.cmx misc.cmx termViewer.cmi -termViewer.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cic2acic.cmi /usr/lib/ocaml/3.06/lablgtk/gData.cmi \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmi /usr/lib/ocaml/3.06/lablgtk/gtk.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -invokeTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/list.cmi \ - logicalOperations.cmi /usr/lib/ocaml/3.06/printexc.cmi proofEngine.cmi \ - termEditor.cmi termViewer.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - invokeTactics.cmi -invokeTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/list.cmx \ - logicalOperations.cmx /usr/lib/ocaml/3.06/printexc.cmx proofEngine.cmx \ - termEditor.cmx termViewer.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - invokeTactics.cmi -invokeTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - termEditor.cmi termViewer.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -gTopLevel.cmo: applyStylesheets.cmi /usr/lib/ocaml/3.06/arg.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2Xml.cmi \ - cic2acic.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gBin.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gButton.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gData.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gEdit.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gHtml.cmo \ - /usr/lib/ocaml/3.06/lablgtk/gList.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gMain.cmi \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathView.cmi \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gMenu.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gMisc.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gPack.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gToolbox.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gWindow.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gdkEvent.cmo \ - /usr/lib/ocaml/3.06/lablgtk/gdkKeysyms.cmo \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/gdome2/gdomeInit.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gtk.cmo \ - /usr/lib/ocaml/3.06/lablgtk/gtkMain.cmo invokeTactics.cmi \ - /usr/lib/ocaml/3.06/lazy.cmi /usr/lib/ocaml/3.06/lexing.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/logger.cmi \ - logicalOperations.cmi mQueryGenerator.cmi mQueryLevels.cmi \ - mQueryLevels2.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi misc.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmi \ - /usr/lib/ocaml/3.06/printexc.cmi proofEngine.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmi \ - sequentPp.cmi /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/string.cmi \ - /usr/lib/ocaml/3.06/sys.cmi termEditor.cmi termViewer.cmi \ - /usr/lib/ocaml/3.06/unix.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi -gTopLevel.cmx: applyStylesheets.cmx /usr/lib/ocaml/3.06/arg.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx cic2Xml.cmx \ - cic2acic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gBin.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gButton.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gData.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gEdit.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gHtml.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gList.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gMain.cmx \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathView.cmi \ - /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \ - /usr/lib/ocaml/3.06/lablgtk/gMenu.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gMisc.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gObj.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gPack.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gToolbox.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gWindow.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gdkEvent.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gdkKeysyms.cmx \ - /usr/lib/ocaml/3.06/gdome2/gdome.cmi \ - /usr/lib/ocaml/3.06/gdome2/gdomeInit.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gtk.cmx \ - /usr/lib/ocaml/3.06/lablgtk/gtkMain.cmx invokeTactics.cmx \ - /usr/lib/ocaml/3.06/lazy.cmx /usr/lib/ocaml/3.06/lexing.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/logger.cmx \ - logicalOperations.cmx mQueryGenerator.cmx mQueryLevels.cmx \ - mQueryLevels2.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx misc.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmx \ - /usr/lib/ocaml/3.06/printexc.cmx proofEngine.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmx \ - sequentPp.cmx /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/string.cmx \ - /usr/lib/ocaml/3.06/sys.cmx termEditor.cmx termViewer.cmx \ - /usr/lib/ocaml/3.06/unix.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index bac191eb1..5f630f23c 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -61,4 +61,6 @@ uninstall: .PHONY: install uninstall clean -include .depend +ifneq ($(MAKECMDGOALS), depend) + include .depend +endif diff --git a/helm/gTopLevel/topLevel/.depend b/helm/gTopLevel/topLevel/.depend deleted file mode 100644 index 6ca33a924..000000000 --- a/helm/gTopLevel/topLevel/.depend +++ /dev/null @@ -1,4 +0,0 @@ -topLevel.cmo: ../mQueryGenerator.cmi ../../ocaml/mathql/mQueryUtil.cmi \ - ../../ocaml/mathql_interpreter/mqint.cmi -topLevel.cmx: ../mQueryGenerator.cmx ../../ocaml/mathql/mQueryUtil.cmx \ - ../../ocaml/mathql_interpreter/mqint.cmx diff --git a/helm/gTopLevel/topLevel/Makefile b/helm/gTopLevel/topLevel/Makefile index 1245ae089..a78019a81 100644 --- a/helm/gTopLevel/topLevel/Makefile +++ b/helm/gTopLevel/topLevel/Makefile @@ -2,6 +2,7 @@ BIN_DIR = /usr/local/bin REQUIRES = helm-urimanager helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter PREDICATES = OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)" +OCAMLDEPOPTIONS = $(shell ocamlfind query -recursive -predicates "$(PREDICATES)" -i-format $(REQUIRES)) OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) OCAMLDEP = ocamldep -I .. -I ../../ocaml/mathql_interpreter -I ../../ocaml/mathql @@ -17,7 +18,7 @@ DEPOBJS = topLevel.ml TOPLEVELOBJS = ../mQueryLevels.cmo ../mQueryGenerator.cmo topLevel.cmo depend: - $(OCAMLDEP) $(DEPOBJS) > .depend + $(OCAMLDEP) $(OCAMLDEPOPTIONS) $(DEPOBJS) > .depend topLevel: $(TOPLEVELOBJS) $(LIBRARIES) $(OCAMLC) -linkpkg -o topLevel $(TOPLEVELOBJS) @@ -44,4 +45,6 @@ uninstall: .PHONY: install uninstall clean -include .depend +ifneq ($(MAKECMDGOALS), depend) + include .depend +endif diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index 635f37fea..519b2ea9a 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -67,4 +67,6 @@ uninstall: .PHONY: all opt depend install uninstall clean -include .depend +ifneq ($(MAKECMDGOALS), depend) + include .depend +endif diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend deleted file mode 100644 index 96baed535..000000000 --- a/helm/ocaml/cic/.depend +++ /dev/null @@ -1,38 +0,0 @@ -deannotate.cmi: cic.cmo -cicParser3.cmi: cic.cmo /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicParser2.cmi: cic.cmo cicParser3.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi -cicParser.cmi: cic.cmo -cic.cmo: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cic.cmx: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx -deannotate.cmo: cic.cmo /usr/lib/ocaml/3.06/list.cmi deannotate.cmi -deannotate.cmx: cic.cmx /usr/lib/ocaml/3.06/list.cmx deannotate.cmi -cicParser3.cmo: cic.cmo /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicParser3.cmi -cicParser3.cmx: cic.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicParser3.cmi -cicParser2.cmo: cic.cmo cicParser3.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/str.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicParser2.cmi -cicParser2.cmx: cic.cmx cicParser3.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/str.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicParser2.cmi -cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicParser.cmi -cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicParser.cmi diff --git a/helm/ocaml/cic_annotations/.depend b/helm/ocaml/cic_annotations/.depend deleted file mode 100644 index 948066bf9..000000000 --- a/helm/ocaml/cic_annotations/.depend +++ /dev/null @@ -1,42 +0,0 @@ -cicXPath.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi -cicAnnotation2Xml.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi -cicAnnotationParser2.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi -cicAnnotationParser.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi -cicXPath.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi cicXPath.cmi -cicXPath.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx cicXPath.cmi -cicAnnotation2Xml.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicXPath.cmi /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/stream.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi cicAnnotation2Xml.cmi -cicAnnotation2Xml.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicXPath.cmx /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/stream.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx cicAnnotation2Xml.cmi -cicAnnotationParser2.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/string.cmi cicAnnotationParser2.cmi -cicAnnotationParser2.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/string.cmx cicAnnotationParser2.cmi -cicAnnotationParser.cmo: cicAnnotationParser2.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicAnnotationParser.cmi -cicAnnotationParser.cmx: cicAnnotationParser2.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicAnnotationParser.cmi diff --git a/helm/ocaml/cic_annotations_cache/.depend b/helm/ocaml/cic_annotations_cache/.depend deleted file mode 100644 index b300bec61..000000000 --- a/helm/ocaml/cic_annotations_cache/.depend +++ /dev/null @@ -1,15 +0,0 @@ -cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /usr/lib/ocaml/3.06/hashtbl.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicCache.cmo: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicCache.cmi -cicCache.cmx: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicCache.cmi diff --git a/helm/ocaml/cic_cache/.depend b/helm/ocaml/cic_cache/.depend deleted file mode 100644 index 6eb7c8b88..000000000 --- a/helm/ocaml/cic_cache/.depend +++ /dev/null @@ -1,10 +0,0 @@ -cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicCache.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicCache.cmi -cicCache.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicCache.cmi diff --git a/helm/ocaml/cic_proof_checking/.depend b/helm/ocaml/cic_proof_checking/.depend deleted file mode 100644 index d3f4b1960..000000000 --- a/helm/ocaml/cic_proof_checking/.depend +++ /dev/null @@ -1,82 +0,0 @@ -logger.cmi: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicEnvironment.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicPp.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cicSubstitution.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cicMiniReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cicReductionNaif.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cicReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cicTypeChecker.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -logger.cmo: /usr/lib/ocaml/3.06/string.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - logger.cmi -logger.cmx: /usr/lib/ocaml/3.06/string.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - logger.cmi -cicEnvironment.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi logger.cmi \ - /usr/lib/ocaml/3.06/unix.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicEnvironment.cmi -cicEnvironment.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx logger.cmx \ - /usr/lib/ocaml/3.06/unix.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicEnvironment.cmi -cicPp.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicEnvironment.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/string.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicPp.cmi -cicPp.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicEnvironment.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/string.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicPp.cmi -cicSubstitution.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicEnvironment.cmi /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicSubstitution.cmi -cicSubstitution.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicEnvironment.cmx /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicSubstitution.cmi -cicMiniReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicSubstitution.cmi /usr/lib/ocaml/3.06/list.cmi cicMiniReduction.cmi -cicMiniReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicSubstitution.cmx /usr/lib/ocaml/3.06/list.cmx cicMiniReduction.cmi -cicReductionNaif.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicReductionNaif.cmi -cicReductionNaif.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicReductionNaif.cmi -cicReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \ - /usr/lib/ocaml/3.06/lazy.cmi /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicReduction.cmi -cicReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \ - /usr/lib/ocaml/3.06/lazy.cmx /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicReduction.cmi -cicTypeChecker.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicEnvironment.cmi cicPp.cmi cicReduction.cmi cicSubstitution.cmi \ - /usr/lib/ocaml/3.06/list.cmi logger.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicTypeChecker.cmi -cicTypeChecker.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicEnvironment.cmx cicPp.cmx cicReduction.cmx cicSubstitution.cmx \ - /usr/lib/ocaml/3.06/list.cmx logger.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicTypeChecker.cmi diff --git a/helm/ocaml/cic_textual_parser/.depend b/helm/ocaml/cic_textual_parser/.depend deleted file mode 100644 index 745302974..000000000 --- a/helm/ocaml/cic_textual_parser/.depend +++ /dev/null @@ -1,32 +0,0 @@ -cicTextualParser.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicTextualParser0.cmo /usr/lib/ocaml/3.06/lexing.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicTextualParserContext.cmi: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cicTextualParser.cmi \ - cicTextualParser0.cmo /usr/lib/ocaml/3.06/lexing.cmi -cicTextualParser0.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicTextualParser0.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx -cicTextualParser.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicTextualParser0.cmo /usr/lib/ocaml/3.06/lexing.cmi \ - /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/obj.cmi \ - /usr/lib/ocaml/3.06/parsing.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicTextualParser.cmi -cicTextualParser.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - cicTextualParser0.cmx /usr/lib/ocaml/3.06/lexing.cmx \ - /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/obj.cmx \ - /usr/lib/ocaml/3.06/parsing.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicTextualParser.cmi -cicTextualParserContext.cmo: cicTextualParser.cmi cicTextualParser0.cmo \ - cicTextualParserContext.cmi -cicTextualParserContext.cmx: cicTextualParser.cmx cicTextualParser0.cmx \ - cicTextualParserContext.cmi -cicTextualLexer.cmo: cicTextualParser.cmi /usr/lib/ocaml/3.06/lexing.cmi \ - /usr/lib/ocaml/3.06/string.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -cicTextualLexer.cmx: cicTextualParser.cmx /usr/lib/ocaml/3.06/lexing.cmx \ - /usr/lib/ocaml/3.06/string.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend deleted file mode 100644 index 93fa68033..000000000 --- a/helm/ocaml/cic_unification/.depend +++ /dev/null @@ -1,37 +0,0 @@ -cicUnification.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -cicRefine.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - cicUnification.cmi -cicUnification.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicUnification.cmi -cicUnification.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicUnification.cmi -cicRefine.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - cicUnification.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/printexc.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - cicRefine.cmi -cicRefine.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - cicUnification.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/printexc.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - cicRefine.cmi diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend deleted file mode 100644 index 9cdf013b9..000000000 --- a/helm/ocaml/getter/.depend +++ /dev/null @@ -1,29 +0,0 @@ -getter.cmi: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -configuration.cmo: /usr/lib/ocaml/3.06/hashtbl.cmi \ - /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printf.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \ - /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi \ - configuration.cmi -configuration.cmx: /usr/lib/ocaml/3.06/hashtbl.cmx \ - /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printf.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \ - /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx \ - configuration.cmi -clientHTTP.cmo: configuration.cmi \ - /usr/lib/ocaml/3.06/netclient/http_client.cmi \ - /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi clientHTTP.cmi -clientHTTP.cmx: configuration.cmx \ - /usr/lib/ocaml/3.06/netclient/http_client.cmi \ - /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx clientHTTP.cmi -getter.cmo: clientHTTP.cmi configuration.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - getter.cmi -getter.cmx: clientHTTP.cmx configuration.cmx \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - getter.cmi diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend deleted file mode 100644 index 406793a1b..000000000 --- a/helm/ocaml/pxp/.depend +++ /dev/null @@ -1,13 +0,0 @@ -pxpUrlResolver.cmi: /usr/lib/ocaml/3.06/pxp-engine/pxp_reader.cmi -pxpUrlResolver.cmo: \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/clientHTTP.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/netstring/neturl.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_reader.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/unix.cmi \ - pxpUrlResolver.cmi -pxpUrlResolver.cmx: \ - /home/fguidi/miohelm_natile/helm/ocaml/getter/clientHTTP.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/netstring/neturl.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_reader.cmi \ - /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/unix.cmi \ - pxpUrlResolver.cmi diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend deleted file mode 100644 index f14137fd7..000000000 --- a/helm/ocaml/tactics/.depend +++ /dev/null @@ -1,252 +0,0 @@ -proofEngineReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo -proofEngineHelpers.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -tacticals.cmi: proofEngineTypes.cmo -reductionTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -proofEngineStructuralRules.cmi: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo proofEngineTypes.cmo -primitiveTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -variousTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -introductionTactics.cmi: proofEngineTypes.cmo -eliminationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -negationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -equalityTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -discriminationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - proofEngineTypes.cmo -ring.cmi: proofEngineTypes.cmo -fourierR.cmi: proofEngineTypes.cmo -proofEngineTypes.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi -proofEngineTypes.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx -proofEngineReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /usr/lib/ocaml/3.06/list.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - proofEngineReduction.cmi -proofEngineReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /usr/lib/ocaml/3.06/list.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - proofEngineReduction.cmi -proofEngineHelpers.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \ - /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/str.cmi \ - proofEngineHelpers.cmi -proofEngineHelpers.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \ - /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/str.cmi \ - proofEngineHelpers.cmi -fourier.cmo: /usr/lib/ocaml/3.06/list.cmi fourier.cmi -fourier.cmx: /usr/lib/ocaml/3.06/list.cmx fourier.cmi -tacticals.cmo: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \ - /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printexc.cmi \ - proofEngineTypes.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - tacticals.cmi -tacticals.cmx: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \ - /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printexc.cmx \ - proofEngineTypes.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - tacticals.cmi -reductionTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /usr/lib/ocaml/3.06/list.cmi proofEngineReduction.cmi \ - reductionTactics.cmi -reductionTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /usr/lib/ocaml/3.06/list.cmx proofEngineReduction.cmx \ - reductionTactics.cmi -proofEngineStructuralRules.cmo: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/list.cmi proofEngineTypes.cmo \ - proofEngineStructuralRules.cmi -proofEngineStructuralRules.cmx: \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/list.cmx proofEngineTypes.cmx \ - proofEngineStructuralRules.cmi -primitiveTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \ - /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printexc.cmi \ - proofEngineHelpers.cmi proofEngineReduction.cmi proofEngineTypes.cmo \ - reductionTactics.cmi tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - primitiveTactics.cmi -primitiveTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \ - /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printexc.cmx \ - proofEngineHelpers.cmx proofEngineReduction.cmx proofEngineTypes.cmx \ - reductionTactics.cmx tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - primitiveTactics.cmi -variousTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineHelpers.cmi \ - proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \ - variousTactics.cmi -variousTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineHelpers.cmx \ - proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \ - variousTactics.cmi -introductionTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineTypes.cmo \ - introductionTactics.cmi -introductionTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineTypes.cmx \ - introductionTactics.cmi -eliminationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \ - proofEngineStructuralRules.cmi /usr/lib/ocaml/3.06/string.cmi \ - tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - eliminationTactics.cmi -eliminationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \ - proofEngineStructuralRules.cmx /usr/lib/ocaml/3.06/string.cmx \ - tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - eliminationTactics.cmi -negationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - eliminationTactics.cmi /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \ - proofEngineTypes.cmo tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - variousTactics.cmi negationTactics.cmi -negationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - eliminationTactics.cmx /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \ - proofEngineTypes.cmx tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - variousTactics.cmx negationTactics.cmi -equalityTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - introductionTactics.cmi /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \ - proofEngineHelpers.cmi proofEngineReduction.cmi \ - proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \ - tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - equalityTactics.cmi -equalityTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - introductionTactics.cmx /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \ - proofEngineHelpers.cmx proofEngineReduction.cmx \ - proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \ - tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - equalityTactics.cmi -discriminationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ - eliminationTactics.cmi equalityTactics.cmi introductionTactics.cmi \ - /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineTypes.cmo \ - tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - discriminationTactics.cmi -discriminationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ - eliminationTactics.cmx equalityTactics.cmx introductionTactics.cmx \ - /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineTypes.cmx \ - tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - discriminationTactics.cmi -ring.cmo: /usr/lib/ocaml/3.06/array.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - eliminationTactics.cmi equalityTactics.cmi \ - /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ - primitiveTactics.cmi proofEngineStructuralRules.cmi proofEngineTypes.cmo \ - tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi ring.cmi -ring.cmx: /usr/lib/ocaml/3.06/array.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - eliminationTactics.cmx equalityTactics.cmx \ - /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ - primitiveTactics.cmx proofEngineStructuralRules.cmx proofEngineTypes.cmx \ - tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx ring.cmi -fourierR.cmo: /usr/lib/ocaml/3.06/array.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ - equalityTactics.cmi fourier.cmi /usr/lib/ocaml/3.06/hashtbl.cmi \ - /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineHelpers.cmi \ - proofEngineTypes.cmo reductionTactics.cmi ring.cmi \ - /usr/lib/ocaml/3.06/string.cmi tacticals.cmi \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ - fourierR.cmi -fourierR.cmx: /usr/lib/ocaml/3.06/array.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ - equalityTactics.cmx fourier.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \ - /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineHelpers.cmx \ - proofEngineTypes.cmx reductionTactics.cmx ring.cmx \ - /usr/lib/ocaml/3.06/string.cmx tacticals.cmx \ - /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ - fourierR.cmi diff --git a/helm/ocaml/urimanager/.depend b/helm/ocaml/urimanager/.depend deleted file mode 100644 index 13e060146..000000000 --- a/helm/ocaml/urimanager/.depend +++ /dev/null @@ -1,4 +0,0 @@ -uriManager.cmo: /usr/lib/ocaml/3.06/array.cmi /usr/lib/ocaml/3.06/list.cmi \ - /usr/lib/ocaml/3.06/map.cmi /usr/lib/ocaml/3.06/str.cmi uriManager.cmi -uriManager.cmx: /usr/lib/ocaml/3.06/array.cmx /usr/lib/ocaml/3.06/list.cmx \ - /usr/lib/ocaml/3.06/map.cmx /usr/lib/ocaml/3.06/str.cmi uriManager.cmi diff --git a/helm/ocaml/xml/.depend b/helm/ocaml/xml/.depend deleted file mode 100644 index bc6941bdf..000000000 --- a/helm/ocaml/xml/.depend +++ /dev/null @@ -1,2 +0,0 @@ -xml.cmo: xml.cmi -xml.cmx: xml.cmi -- 2.39.2