From 9ee2fa118515bef356198ee4a72e42a67f0e2695 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 28 Jan 2003 10:23:59 +0000 Subject: [PATCH] added META for module helm-tactics --- helm/ocaml/META.helm-tactics.src | 4 ++++ helm/ocaml/Makefile.in | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 helm/ocaml/META.helm-tactics.src diff --git a/helm/ocaml/META.helm-tactics.src b/helm/ocaml/META.helm-tactics.src new file mode 100644 index 000000000..e2ac71589 --- /dev/null +++ b/helm/ocaml/META.helm-tactics.src @@ -0,0 +1,4 @@ +requires="helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification" +version="0.0.1" +archive(byte)="tactics.cma" +archive(native)="tactics.cmxa" diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 9ebef2422..126f55dd2 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -1,7 +1,7 @@ # Warning: the modules must be in compilation order MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \ cic_cache cic_proof_checking cic_textual_parser cic_unification \ - mathql mathql_interpreter + tactics mathql mathql_interpreter OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ -- 2.39.2