From d9c23022bf02fce53fbb83991bad90ef6ea262eb Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Tue, 23 May 2006 08:03:18 +0000 Subject: [PATCH] added stuff for profiling macros --- helm/software/components/tactics/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/helm/software/components/tactics/Makefile b/helm/software/components/tactics/Makefile index 5538c15a0..698729bef 100644 --- a/helm/software/components/tactics/Makefile +++ b/helm/software/components/tactics/Makefile @@ -34,14 +34,14 @@ tactics.mli: UTF8DIR = $(shell $(OCAMLFIND) query helm-syntax_extensions) MY_SYNTAXOPTIONS = -pp "camlp4o -I $(UTF8DIR) pa_extend.cmo profiling_macros.cma -loc loc" -paramodulation/saturation.cmo: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) -paramodulation/saturation.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) +paramodulation/%.cmo: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) +paramodulation/%.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) depend: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) depend.opt: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) # # -paramodulation/saturation.cmo: OCAMLC = $(OCAMLC_P4) -paramodulation/saturation.cmx: OCAMLOPT = $(OCAMLOPT_P4) +paramodulation/%.cmo: OCAMLC = $(OCAMLC_P4) +paramodulation/%.cmx: OCAMLOPT = $(OCAMLOPT_P4) STATS_EXCLUDE = tactics.mli -- 2.39.2