use PxpHelmConf module

[helm.git] / helm / gTopLevel / Makefile

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