Quick & dirty patch to overcome a bug of ocamlfind.

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index bb4a33f7988400e07be463a4b5c7a4371b2c9d45..ebf8eeda5f3aa26a219c90805aa673fde15823e5 100644 (file)
--- 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)