+envtest.opt: regtest.opt
+ ./regtest.opt -dump $(INTESTS) 2> /dev/null
+librarytest: testlibrary
+ ./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
+
+MAIN = ./gTopLevel
+ARGS =
+debug:
+ 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
+ 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)