X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2F.depend;h=d3f4b19609ac6e0c77690a95525920f8f43d55e5;hb=b3e00c5c1ff91409a2065feac83b3feec65cc474;hp=c1319a692349fecd93518f6337cf1f6a52325654;hpb=34feb17401c569973c510ae75360be275587d315;p=helm.git diff --git a/helm/ocaml/cic_proof_checking/.depend b/helm/ocaml/cic_proof_checking/.depend index c1319a692..d3f4b1960 100644 --- a/helm/ocaml/cic_proof_checking/.depend +++ b/helm/ocaml/cic_proof_checking/.depend @@ -1,22 +1,82 @@ -logger.cmo: logger.cmi -logger.cmx: logger.cmi -cicEnvironment.cmo: logger.cmi cicEnvironment.cmi -cicEnvironment.cmx: logger.cmx cicEnvironment.cmi -cicPp.cmo: cicEnvironment.cmi cicPp.cmi -cicPp.cmx: cicEnvironment.cmx cicPp.cmi -cicSubstitution.cmo: cicEnvironment.cmi cicSubstitution.cmi -cicSubstitution.cmx: cicEnvironment.cmx cicSubstitution.cmi -cicMiniReduction.cmo: cicSubstitution.cmi cicMiniReduction.cmi -cicMiniReduction.cmx: cicSubstitution.cmx cicMiniReduction.cmi -cicReductionNaif.cmo: cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \ +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: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \ +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: cicEnvironment.cmi cicPp.cmi cicSubstitution.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: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \ +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: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \ - cicSubstitution.cmi logger.cmi cicTypeChecker.cmi -cicTypeChecker.cmx: cicEnvironment.cmx cicPp.cmx cicReduction.cmx \ - cicSubstitution.cmx logger.cmx cicTypeChecker.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