From 1631e7f0f5f841bd0096651429b83b0c166658f7 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 --- components/binaries/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/components/binaries/Makefile b/components/binaries/Makefile index a2b89ee97..9dd295fb4 100644 --- a/components/binaries/Makefile +++ b/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.2