From f030d33d2c43fbfe8daa2891f036529b733c5852 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 23 Oct 2006 13:22:25 +0000 Subject: [PATCH] binaries/saturate no longer compiled since it does not compile any longer after the huge refactoring of auto/paramodulation by Andrea --- helm/software/components/binaries/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/software/components/binaries/Makefile b/helm/software/components/binaries/Makefile index a2b89ee97..9dd295fb4 100644 --- a/helm/software/components/binaries/Makefile +++ b/helm/software/components/binaries/Makefile @@ -1,6 +1,9 @@ H=@ -BINARIES=extractor table_creator utilities saturate +#CSC: saturate is broken after the huge refactoring of auto/paramodulation +#CSC: by Andrea +#BINARIES=extractor table_creator utilities saturate +BINARIES=extractor table_creator utilities all: $(BINARIES:%=rec@all@%) opt: $(BINARIES:%=rec@opt@%) -- 2.39.5