From 3a9b60b1a057fcd2634a147ca2dcb0cb286dccfa Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 5 Mar 2004 18:27:37 +0000 Subject: [PATCH 1/1] Quick & dirty patch to overcome a bug of ocamlfind. --- helm/gTopLevel/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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) -- 2.39.2