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)