From: Stefano Zacchiroli Date: Tue, 16 Dec 2003 16:06:35 +0000 (+0000) Subject: renamed META*.src to meta*.src so that ocamlfind list doesn't list both X-Git-Tag: V_0_2_2~8 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39d095f1be6af15e044793da5f1ca855f0861ed3;p=helm.git renamed META*.src to meta*.src so that ocamlfind list doesn't list both src and real METAs --- diff --git a/helm/ocaml/METAS/META.helm-cic.src b/helm/ocaml/METAS/META.helm-cic.src deleted file mode 100644 index ee898d894..000000000 --- a/helm/ocaml/METAS/META.helm-cic.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-urimanager helm-pxp" -version="0.0.1" -archive(byte)="cic.cma" -archive(native)="cic.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_annotations.src b/helm/ocaml/METAS/META.helm-cic_annotations.src deleted file mode 100644 index 829efba0d..000000000 --- a/helm/ocaml/METAS/META.helm-cic_annotations.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic helm-xml" -version="0.0.1" -archive(byte)="cic_annotations.cma" -archive(native)="cic_annotations.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_annotations_cache.src b/helm/ocaml/METAS/META.helm-cic_annotations_cache.src deleted file mode 100644 index 38f5d1da9..000000000 --- a/helm/ocaml/METAS/META.helm-cic_annotations_cache.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic_annotations" -version="0.0.1" -archive(byte)="cic_annotations_cache.cma" -archive(native)="cic_annotations_cache.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_cache.src b/helm/ocaml/METAS/META.helm-cic_cache.src deleted file mode 100644 index 28ea57e35..000000000 --- a/helm/ocaml/METAS/META.helm-cic_cache.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="cic_cache.cma" -archive(native)="cic_cache.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_omdoc.src b/helm/ocaml/METAS/META.helm-cic_omdoc.src deleted file mode 100644 index e05ddfcec..000000000 --- a/helm/ocaml/METAS/META.helm-cic_omdoc.src +++ /dev/null @@ -1,4 +0,0 @@ -requires="helm-cic_proof_checking helm-mathql_interpreter" -version="0.0.1" -archive(byte)="cic_omdoc.cma" -archive(native)="cic_omdoc.cmxa" diff --git a/helm/ocaml/METAS/META.helm-cic_proof_checking.src b/helm/ocaml/METAS/META.helm-cic_proof_checking.src deleted file mode 100644 index 08b099ec3..000000000 --- a/helm/ocaml/METAS/META.helm-cic_proof_checking.src +++ /dev/null @@ -1,7 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="cic_proof_checking.cma" -archive(native)="cic_proof_checking.cmxa" -archive(byte,miniReduction)="cicSubstitution.cmo cicMiniReduction.cmo" -archive(native,miniReduction)="cicSubstitution.cmx cicMiniReduction.cmx" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_textual_parser.src b/helm/ocaml/METAS/META.helm-cic_textual_parser.src deleted file mode 100644 index bc4f2fcd4..000000000 --- a/helm/ocaml/METAS/META.helm-cic_textual_parser.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="cic_textual_parser.cma" -archive(native)="cic_textual_parser.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_textual_parser2.src b/helm/ocaml/METAS/META.helm-cic_textual_parser2.src deleted file mode 100644 index 043a289c2..000000000 --- a/helm/ocaml/METAS/META.helm-cic_textual_parser2.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="cic_textual_parser2.cma" -archive(native)="cic_textual_parser2.cmxa" -linkopts="-I +camlp4 gramlib.cma" diff --git a/helm/ocaml/METAS/META.helm-cic_transformations.src b/helm/ocaml/METAS/META.helm-cic_transformations.src deleted file mode 100644 index 44bb0999c..000000000 --- a/helm/ocaml/METAS/META.helm-cic_transformations.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-xml helm-cic_proof_checking helm-cic_omdoc gdome2-xslt" -version="0.0.1" -archive(byte)="cic_transformations.cma" -archive(native)="cic_transformations.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-cic_unification.src b/helm/ocaml/METAS/META.helm-cic_unification.src deleted file mode 100644 index 6cb775dca..000000000 --- a/helm/ocaml/METAS/META.helm-cic_unification.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic_proof_checking" -version="0.0.1" -archive(byte)="cic_unification.cma" -archive(native)="cic_unification.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-getter.src b/helm/ocaml/METAS/META.helm-getter.src deleted file mode 100644 index 8ba941fbd..000000000 --- a/helm/ocaml/METAS/META.helm-getter.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-urimanager pxp netclient" -version="0.0.1" -archive(byte)="getter.cma" -archive(native)="getter.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-mathql.src b/helm/ocaml/METAS/META.helm-mathql.src deleted file mode 100644 index df553d7d5..000000000 --- a/helm/ocaml/METAS/META.helm-mathql.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-urimanager" -version="1.3" -archive(byte)="mathql.cma" -archive(native)="mathql.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-mathql_generator.src b/helm/ocaml/METAS/META.helm-mathql_generator.src deleted file mode 100644 index c4168201b..000000000 --- a/helm/ocaml/METAS/META.helm-mathql_generator.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic helm-cic_proof_checking helm-mathql" -version="1.3" -archive(byte)="mathql_generator.cma" -archive(native)="mathql_generator.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-mathql_interpreter.src b/helm/ocaml/METAS/META.helm-mathql_interpreter.src deleted file mode 100644 index 24a192956..000000000 --- a/helm/ocaml/METAS/META.helm-mathql_interpreter.src +++ /dev/null @@ -1,6 +0,0 @@ -requires="helm-cic helm-cic_textual_parser postgres helm-mathql" -#natile-galax -version="1.3" -archive(byte)="mathql_interpreter.cma" -archive(native)="mathql_interpreter.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-pxp.src b/helm/ocaml/METAS/META.helm-pxp.src deleted file mode 100644 index 33210a77d..000000000 --- a/helm/ocaml/METAS/META.helm-pxp.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-getter" -version="0.0.1" -archive(byte)="pxp.cma" -archive(native)="pxp.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-tactics.src b/helm/ocaml/METAS/META.helm-tactics.src deleted file mode 100644 index cffd94f6b..000000000 --- a/helm/ocaml/METAS/META.helm-tactics.src +++ /dev/null @@ -1,4 +0,0 @@ -requires="helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification helm-mathql_generator" -version="0.0.1" -archive(byte)="tactics.cma" -archive(native)="tactics.cmxa" diff --git a/helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src b/helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src deleted file mode 100644 index dec21eebd..000000000 --- a/helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="tex_cic_textual_parser.cma" -archive(native)="tex_cic_textual_parser.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-urimanager.src b/helm/ocaml/METAS/META.helm-urimanager.src deleted file mode 100644 index ff1874688..000000000 --- a/helm/ocaml/METAS/META.helm-urimanager.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="str" -version="0.0.1" -archive(byte)="urimanager.cma" -archive(native)="urimanager.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/META.helm-xml.src b/helm/ocaml/METAS/META.helm-xml.src deleted file mode 100644 index 1cd68fed8..000000000 --- a/helm/ocaml/METAS/META.helm-xml.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="" -version="0.0.1" -archive(byte)="xml.cma" -archive(native)="xml.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic.src b/helm/ocaml/METAS/meta.helm-cic.src new file mode 100644 index 000000000..ee898d894 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic.src @@ -0,0 +1,5 @@ +requires="helm-urimanager helm-pxp" +version="0.0.1" +archive(byte)="cic.cma" +archive(native)="cic.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_annotations.src b/helm/ocaml/METAS/meta.helm-cic_annotations.src new file mode 100644 index 000000000..829efba0d --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_annotations.src @@ -0,0 +1,5 @@ +requires="helm-cic helm-xml" +version="0.0.1" +archive(byte)="cic_annotations.cma" +archive(native)="cic_annotations.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src new file mode 100644 index 000000000..38f5d1da9 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src @@ -0,0 +1,5 @@ +requires="helm-cic_annotations" +version="0.0.1" +archive(byte)="cic_annotations_cache.cma" +archive(native)="cic_annotations_cache.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_cache.src b/helm/ocaml/METAS/meta.helm-cic_cache.src new file mode 100644 index 000000000..28ea57e35 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_cache.src @@ -0,0 +1,5 @@ +requires="helm-cic" +version="0.0.1" +archive(byte)="cic_cache.cma" +archive(native)="cic_cache.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_omdoc.src b/helm/ocaml/METAS/meta.helm-cic_omdoc.src new file mode 100644 index 000000000..e05ddfcec --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_omdoc.src @@ -0,0 +1,4 @@ +requires="helm-cic_proof_checking helm-mathql_interpreter" +version="0.0.1" +archive(byte)="cic_omdoc.cma" +archive(native)="cic_omdoc.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src new file mode 100644 index 000000000..08b099ec3 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src @@ -0,0 +1,7 @@ +requires="helm-cic" +version="0.0.1" +archive(byte)="cic_proof_checking.cma" +archive(native)="cic_proof_checking.cmxa" +archive(byte,miniReduction)="cicSubstitution.cmo cicMiniReduction.cmo" +archive(native,miniReduction)="cicSubstitution.cmx cicMiniReduction.cmx" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_textual_parser.src b/helm/ocaml/METAS/meta.helm-cic_textual_parser.src new file mode 100644 index 000000000..bc4f2fcd4 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_textual_parser.src @@ -0,0 +1,5 @@ +requires="helm-cic" +version="0.0.1" +archive(byte)="cic_textual_parser.cma" +archive(native)="cic_textual_parser.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_transformations.src b/helm/ocaml/METAS/meta.helm-cic_transformations.src new file mode 100644 index 000000000..44bb0999c --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_transformations.src @@ -0,0 +1,5 @@ +requires="helm-xml helm-cic_proof_checking helm-cic_omdoc gdome2-xslt" +version="0.0.1" +archive(byte)="cic_transformations.cma" +archive(native)="cic_transformations.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_unification.src b/helm/ocaml/METAS/meta.helm-cic_unification.src new file mode 100644 index 000000000..6cb775dca --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-cic_unification.src @@ -0,0 +1,5 @@ +requires="helm-cic_proof_checking" +version="0.0.1" +archive(byte)="cic_unification.cma" +archive(native)="cic_unification.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src new file mode 100644 index 000000000..8ba941fbd --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-getter.src @@ -0,0 +1,5 @@ +requires="helm-urimanager pxp netclient" +version="0.0.1" +archive(byte)="getter.cma" +archive(native)="getter.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-mathql.src b/helm/ocaml/METAS/meta.helm-mathql.src new file mode 100644 index 000000000..df553d7d5 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-mathql.src @@ -0,0 +1,5 @@ +requires="helm-urimanager" +version="1.3" +archive(byte)="mathql.cma" +archive(native)="mathql.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-mathql_generator.src b/helm/ocaml/METAS/meta.helm-mathql_generator.src new file mode 100644 index 000000000..c4168201b --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-mathql_generator.src @@ -0,0 +1,5 @@ +requires="helm-cic helm-cic_proof_checking helm-mathql" +version="1.3" +archive(byte)="mathql_generator.cma" +archive(native)="mathql_generator.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-mathql_interpreter.src b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src new file mode 100644 index 000000000..24a192956 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src @@ -0,0 +1,6 @@ +requires="helm-cic helm-cic_textual_parser postgres helm-mathql" +#natile-galax +version="1.3" +archive(byte)="mathql_interpreter.cma" +archive(native)="mathql_interpreter.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-pxp.src b/helm/ocaml/METAS/meta.helm-pxp.src new file mode 100644 index 000000000..33210a77d --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-pxp.src @@ -0,0 +1,5 @@ +requires="helm-getter" +version="0.0.1" +archive(byte)="pxp.cma" +archive(native)="pxp.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-tactics.src b/helm/ocaml/METAS/meta.helm-tactics.src new file mode 100644 index 000000000..cffd94f6b --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-tactics.src @@ -0,0 +1,4 @@ +requires="helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification helm-mathql_generator" +version="0.0.1" +archive(byte)="tactics.cma" +archive(native)="tactics.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src b/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src new file mode 100644 index 000000000..dec21eebd --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src @@ -0,0 +1,5 @@ +requires="helm-cic" +version="0.0.1" +archive(byte)="tex_cic_textual_parser.cma" +archive(native)="tex_cic_textual_parser.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-urimanager.src b/helm/ocaml/METAS/meta.helm-urimanager.src new file mode 100644 index 000000000..ff1874688 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-urimanager.src @@ -0,0 +1,5 @@ +requires="str" +version="0.0.1" +archive(byte)="urimanager.cma" +archive(native)="urimanager.cmxa" +linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-xml.src b/helm/ocaml/METAS/meta.helm-xml.src new file mode 100644 index 000000000..1cd68fed8 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-xml.src @@ -0,0 +1,5 @@ +requires="" +version="0.0.1" +archive(byte)="xml.cma" +archive(native)="xml.cmxa" +linkopts=""