From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 14 Jun 2005 11:16:36 +0000 (+0000)
Subject: don't build pxp (no longer needed), cic_annotations (triassic dinosaur),
X-Git-Tag: PRE_STORAGE~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=524f4d383300fd7a00cb5e457340a15c10453937;p=helm.git

don't build pxp (no longer needed), cic_annotations (triassic dinosaur),
hbugs (coming soon ...)
---

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