X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=ebf8eeda5f3aa26a219c90805aa673fde15823e5;hb=6556d39b592c1e56b0e7f4055242232b8bfe3c90;hp=9cba34bc70c771b0f3186d85937bc37e0ab339ee;hpb=fe1e7e151af9690f312259a4c1c969a1388bee5f;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 9cba34bc7..ebf8eeda5 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -134,22 +134,24 @@ envtest: regtest
 envtest.opt: regtest.opt
 	./regtest.opt -dump $(INTESTS) 2> /dev/null
 librarytest: testlibrary
-	./testlibrary -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG &
+	./testlibrary -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG
 librarytest.opt: testlibrary.opt
-	./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG &
+	./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG
 
 MAIN = ./gTopLevel
 ARGS =
 debug:
-	$(OCAMLFIND) query -recursive -predicates byte -a-format \
+	echo "load_printer \"threads.cma\"" > .debug_script
+	$(OCAMLFIND) query -recursive -predicates "mt,byte" -a-format \
 		helm-cic_unification | \
 		sed 's/\(.*\)/load_printer "\1"/' \
-		> .debug_script
+		>> .debug_script
 	echo "install_printer CicMetaSubst.fppsubst" >> .debug_script
 	echo "install_printer CicMetaSubst.fppterm" >> .debug_script
 	echo "install_printer CicMetaSubst.fppmetasenv" >> .debug_script
 	ledit $(OCAMLDEBUG) \
 		-source .debug_script \
+    -I +threads \
 		$(shell $(OCAMLFIND) query -recursive -i-format $(REQUIRES)) \
 		$(MAIN) $(ARGS)