From 1589ec067f5f18594dfcab61431adbe095db1bd1 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 5 Apr 2006 14:47:33 +0000 Subject: [PATCH] fix for distro --- helm/software/components/tactics/Makefile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/helm/software/components/tactics/Makefile b/helm/software/components/tactics/Makefile index e572b1392..cb38579e1 100644 --- a/helm/software/components/tactics/Makefile +++ b/helm/software/components/tactics/Makefile @@ -23,10 +23,12 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) all: -tactics.mli: tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodulation/indexing.mli - $(H)echo " OCAMLC -i $< > $@" +# we omit dependencies since it is a pain when distributing +tactics_mli_deps=tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodulation/indexing.mli +tactics.mli: + $(H)echo " OCAMLC -i $$(tactics_mli_deps) > $@" $(H)echo "(* GENERATED FILE, DO NOT EDIT. STAMP:`date` *)" > $@ - $(H)$(OCAMLC) -I paramodulation -i $< >> $@ + $(H)$(OCAMLC) -I paramodulation -i $(tactics_mli_deps) >> $@ STATS_EXCLUDE = tactics.mli -- 2.39.2