From 857223e09f40bb10a0935bfe0278f29e1dc4a13c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 23 May 2006 08:07:25 +0000 Subject: [PATCH] added again stuff for profiling --- helm/software/components/tactics/Makefile | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/helm/software/components/tactics/Makefile b/helm/software/components/tactics/Makefile index 698729bef..04dd68223 100644 --- a/helm/software/components/tactics/Makefile +++ b/helm/software/components/tactics/Makefile @@ -33,16 +33,15 @@ tactics.mli: $(H)$(OCAMLC) -I paramodulation -i $(tactics_mli_deps) >> $@ UTF8DIR = $(shell $(OCAMLFIND) query helm-syntax_extensions) -MY_SYNTAXOPTIONS = -pp "camlp4o -I $(UTF8DIR) pa_extend.cmo profiling_macros.cma -loc loc" +STR=$(shell $(OCAMLFIND) query str) +MY_SYNTAXOPTIONS = -pp "camlp4o -I $(UTF8DIR) -I $(STR) str.cma pa_extend.cmo profiling_macros.cma -loc loc" paramodulation/%.cmo: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) -paramodulation/%.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) -depend: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) -depend.opt: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) -# -# paramodulation/%.cmo: OCAMLC = $(OCAMLC_P4) +paramodulation/%.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) paramodulation/%.cmx: OCAMLOPT = $(OCAMLOPT_P4) +depend: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) +depend.opt: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) STATS_EXCLUDE = tactics.mli -- 2.39.2