X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=ebf8eeda5f3aa26a219c90805aa673fde15823e5;hb=78cf601fd8b8dbb386b0db315dcbfdbe8256c15f;hp=bb4a33f7988400e07be463a4b5c7a4371b2c9d45;hpb=0d3dba1276ce3f243ac784f3fa2efe160d5d7f74;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index bb4a33f79..ebf8eeda5 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -141,15 +141,17 @@ librarytest.opt: testlibrary.opt
 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)