From d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 26 Nov 2001 18:38:03 +0000 Subject: [PATCH] .cvsignore and .depend forgot --- helm/ocaml/cic/.cvsignore | 1 + helm/ocaml/cic/.depend | 11 +++++++++++ helm/ocaml/cic_annotations/.cvsignore | 1 + helm/ocaml/cic_annotations/.depend | 2 ++ helm/ocaml/cic_annotations_cache/.cvsignore | 1 + helm/ocaml/cic_annotations_cache/.depend | 2 ++ helm/ocaml/cic_cache/.cvsignore | 1 + helm/ocaml/cic_cache/.depend | 2 ++ helm/ocaml/cic_proof_checking/.cvsignore | 1 + helm/ocaml/cic_proof_checking/.depend | 18 ++++++++++++++++++ helm/ocaml/getter/.cvsignore | 1 + helm/ocaml/getter/.depend | 4 ++++ helm/ocaml/pxp/.cvsignore | 1 + helm/ocaml/pxp/.depend | 2 ++ helm/ocaml/urimanager/.cvsignore | 1 + helm/ocaml/urimanager/.depend | 2 ++ helm/ocaml/xml/.cvsignore | 1 + helm/ocaml/xml/.depend | 2 ++ 18 files changed, 54 insertions(+) create mode 100644 helm/ocaml/cic/.cvsignore create mode 100644 helm/ocaml/cic/.depend create mode 100644 helm/ocaml/cic_annotations/.cvsignore create mode 100644 helm/ocaml/cic_annotations/.depend create mode 100644 helm/ocaml/cic_annotations_cache/.cvsignore create mode 100644 helm/ocaml/cic_annotations_cache/.depend create mode 100644 helm/ocaml/cic_cache/.cvsignore create mode 100644 helm/ocaml/cic_cache/.depend create mode 100644 helm/ocaml/cic_proof_checking/.cvsignore create mode 100644 helm/ocaml/cic_proof_checking/.depend create mode 100644 helm/ocaml/getter/.cvsignore create mode 100644 helm/ocaml/getter/.depend create mode 100644 helm/ocaml/pxp/.cvsignore create mode 100644 helm/ocaml/pxp/.depend create mode 100644 helm/ocaml/urimanager/.cvsignore create mode 100644 helm/ocaml/urimanager/.depend create mode 100644 helm/ocaml/xml/.cvsignore create mode 100644 helm/ocaml/xml/.depend diff --git a/helm/ocaml/cic/.cvsignore b/helm/ocaml/cic/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/cic/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend new file mode 100644 index 000000000..99591c9d0 --- /dev/null +++ b/helm/ocaml/cic/.depend @@ -0,0 +1,11 @@ +deannotate.cmo: cic.cmo +deannotate.cmx: cic.cmx +cicParser3.cmi: cic.cmo +cicParser3.cmo: cic.cmo cicParser3.cmi +cicParser3.cmx: cic.cmx cicParser3.cmi +cicParser2.cmi: cic.cmo cicParser3.cmi +cicParser2.cmo: cic.cmo cicParser3.cmi cicParser2.cmi +cicParser2.cmx: cic.cmx cicParser3.cmx cicParser2.cmi +cicParser.cmi: cic.cmo +cicParser.cmo: cicParser2.cmi cicParser3.cmi cicParser.cmi +cicParser.cmx: cicParser2.cmx cicParser3.cmx cicParser.cmi diff --git a/helm/ocaml/cic_annotations/.cvsignore b/helm/ocaml/cic_annotations/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/cic_annotations/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/cic_annotations/.depend b/helm/ocaml/cic_annotations/.depend new file mode 100644 index 000000000..ac3b26ba0 --- /dev/null +++ b/helm/ocaml/cic_annotations/.depend @@ -0,0 +1,2 @@ +cicAnnotationParser.cmo: cicAnnotationParser2.cmo +cicAnnotationParser.cmx: cicAnnotationParser2.cmx diff --git a/helm/ocaml/cic_annotations_cache/.cvsignore b/helm/ocaml/cic_annotations_cache/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/cic_annotations_cache/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/cic_annotations_cache/.depend b/helm/ocaml/cic_annotations_cache/.depend new file mode 100644 index 000000000..06775e1c6 --- /dev/null +++ b/helm/ocaml/cic_annotations_cache/.depend @@ -0,0 +1,2 @@ +cicCache.cmo: cicCache.cmi +cicCache.cmx: cicCache.cmi diff --git a/helm/ocaml/cic_cache/.cvsignore b/helm/ocaml/cic_cache/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/cic_cache/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/cic_cache/.depend b/helm/ocaml/cic_cache/.depend new file mode 100644 index 000000000..06775e1c6 --- /dev/null +++ b/helm/ocaml/cic_cache/.depend @@ -0,0 +1,2 @@ +cicCache.cmo: cicCache.cmi +cicCache.cmx: cicCache.cmi diff --git a/helm/ocaml/cic_proof_checking/.cvsignore b/helm/ocaml/cic_proof_checking/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/cic_proof_checking/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/cic_proof_checking/.depend b/helm/ocaml/cic_proof_checking/.depend new file mode 100644 index 000000000..da66c1502 --- /dev/null +++ b/helm/ocaml/cic_proof_checking/.depend @@ -0,0 +1,18 @@ +cicPp.cmo: cicEnvironment.cmi cicPp.cmi +cicPp.cmx: cicEnvironment.cmx cicPp.cmi +cicEnvironment.cmo: cicSubstitution.cmi cicEnvironment.cmi +cicEnvironment.cmx: cicSubstitution.cmx cicEnvironment.cmi +cicSubstitution.cmo: cicSubstitution.cmi +cicSubstitution.cmx: cicSubstitution.cmi +cicReduction.cmo: cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \ + cicReduction.cmi +cicReduction.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \ + cicReduction.cmi +cicTypeChecker.cmo: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \ + cicSubstitution.cmi cicTypeChecker.cmi +cicTypeChecker.cmx: cicEnvironment.cmx cicPp.cmx cicReduction.cmx \ + cicSubstitution.cmx cicTypeChecker.cmi +cicCooking.cmo: cicEnvironment.cmi cicCooking.cmi +cicCooking.cmx: cicEnvironment.cmx cicCooking.cmi +cicMiniReduction.cmo: cicSubstitution.cmi cicMiniReduction.cmi +cicMiniReduction.cmx: cicSubstitution.cmx cicMiniReduction.cmi diff --git a/helm/ocaml/getter/.cvsignore b/helm/ocaml/getter/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/getter/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend new file mode 100644 index 000000000..1b3156776 --- /dev/null +++ b/helm/ocaml/getter/.depend @@ -0,0 +1,4 @@ +clientHTTP.cmo: configuration.cmo clientHTTP.cmi +clientHTTP.cmx: configuration.cmx clientHTTP.cmi +getter.cmo: clientHTTP.cmi configuration.cmo getter.cmi +getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi diff --git a/helm/ocaml/pxp/.cvsignore b/helm/ocaml/pxp/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/pxp/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend new file mode 100644 index 000000000..5ad7c60e2 --- /dev/null +++ b/helm/ocaml/pxp/.depend @@ -0,0 +1,2 @@ +pxpUriResolver.cmo: csc_pxp_reader.cmo +pxpUriResolver.cmx: csc_pxp_reader.cmx diff --git a/helm/ocaml/urimanager/.cvsignore b/helm/ocaml/urimanager/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/urimanager/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/urimanager/.depend b/helm/ocaml/urimanager/.depend new file mode 100644 index 000000000..482148423 --- /dev/null +++ b/helm/ocaml/urimanager/.depend @@ -0,0 +1,2 @@ +uriManager.cmo: uriManager.cmi +uriManager.cmx: uriManager.cmi diff --git a/helm/ocaml/xml/.cvsignore b/helm/ocaml/xml/.cvsignore new file mode 100644 index 000000000..6e857ea2a --- /dev/null +++ b/helm/ocaml/xml/.cvsignore @@ -0,0 +1 @@ +*.cm[iox] diff --git a/helm/ocaml/xml/.depend b/helm/ocaml/xml/.depend new file mode 100644 index 000000000..bc6941bdf --- /dev/null +++ b/helm/ocaml/xml/.depend @@ -0,0 +1,2 @@ +xml.cmo: xml.cmi +xml.cmx: xml.cmi -- 2.39.2