From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Mar 2004 18:27:37 +0000 (+0000)
Subject: Quick & dirty patch to overcome a bug of ocamlfind.
X-Git-Tag: v0_0_4~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3a9b60b1a057fcd2634a147ca2dcb0cb286dccfa;hp=aa4474a3b23b71b8a6e0d36f0daa0e90b3ffed66;p=helm.git

Quick & dirty patch to overcome a bug of ocamlfind.
---

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)