From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 11 Feb 2004 12:03:07 +0000 (+0000)
Subject: new logger, getter, and the hell
X-Git-Tag: V_0_3_0~18
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=788038150dc033d477c105a070e6b9cef524161f;p=helm.git

new logger, getter, and the hell
---

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index cefbf646d..1afee22b8 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -12,7 +12,7 @@ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 
 PREPROCOPTIONS = -pp camlp4o
 PREREQ =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLDEBUGOPTIONS = -g
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)
diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index ec30fb868..a2cb5f278 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -1,7 +1,10 @@
 # Warning: the modules must be in compilation order
 MODULES = \
+	registry \
+	thread \
 	xml \
 	urimanager \
+	logger \
 	getter \
 	pxp \
 	cic \
@@ -18,7 +21,6 @@ MODULES = \
 	cic_omdoc \
 	tactics \
 	cic_transformations \
-	logger \
 	cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
@@ -33,11 +35,11 @@ metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean) clean_metas
+clean: $(MODULES:%=%.clean)
 clean_metas:
 	rm -f $(METAS)
 
-dist-clean: clean
+distclean: clean clean_metas
 	rm -f Makefile Makefile.common configure config.log config.cache config.status
 
 $(MODULES:%=%.all):