From 524f4d383300fd7a00cb5e457340a15c10453937 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 14 Jun 2005 11:16:36 +0000 Subject: [PATCH] don't build pxp (no longer needed), cic_annotations (triassic dinosaur), hbugs (coming soon ...) --- helm/ocaml/Makefile.in | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index ac2a057f3..889b87147 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -1,7 +1,7 @@ # Warning: the modules must be in compilation order +NULL = MODULES = \ xml \ - pxp \ registry \ utf8_macros \ thread \ @@ -10,7 +10,6 @@ MODULES = \ logger \ getter \ cic \ - cic_annotations \ cic_proof_checking \ cic_unification \ cic_omdoc \ @@ -19,7 +18,7 @@ MODULES = \ cic_transformations \ cic_notation \ cic_textual_parser2 \ - hbugs + $(NULL) OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ @@ -34,7 +33,7 @@ metas: $(METAS) depend: $(MODULES:%=%.depend) install: $(MODULES:%=%.install) uninstall: $(MODULES:%=%.uninstall) -clean: clean_metas $(MODULES:%=%.clean) +clean: $(MODULES:%=%.clean) clean_metas: rm -f $(METAS) distclean: clean clean_metas -- 2.39.2