From 6eaffa8e492a0c8f7d4eeb020889e7f630d4f7da Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Thu, 29 Oct 2009 18:52:13 +0000 Subject: [PATCH] minor edit git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@363 e59a4935-1847-0410-ae03-e826735625c1 --- Makefile | 5 ++--- scripts/Makefile.common | 4 ++-- scripts/Makefile.in | 5 ++--- 3 files changed, 6 insertions(+), 8 deletions(-) diff --git a/Makefile b/Makefile index 314ce83..e9bf50f 100644 --- a/Makefile +++ b/Makefile @@ -3,8 +3,8 @@ # To make in debug mode, type 'make "OPTIMIZE=-g" # To make in optimized mode, type 'make "OPTIMIZE=-O3" - -include scripts/Makefile.common scripts/config.info +include scripts/Makefile.common +-include scripts/config.info BIN_DIR=$(PREFIX)/bin LIB_DIR=$(PREFIX)/lib @@ -92,7 +92,6 @@ clean: .PHONY: configclean configclean: - touch scripts/config.info rm -rf scripts/config.info .PHONY: regressall diff --git a/scripts/Makefile.common b/scripts/Makefile.common index b59796e..be4d812 100644 --- a/scripts/Makefile.common +++ b/scripts/Makefile.common @@ -13,8 +13,8 @@ OPTIMIZE = -g # Debugging OPTIMIZE = -O3 -DNDEBUG # Maximum optimization #OPTIMIZE = -O3 -DNDEBUG -DLESSBYTES_PERNODE CFLAGS_BASE = $(OPTIMIZE) -CFLAGS_BASE = $(OPTIMIZE) -DCRYPTOMINISAT -CRYPTOMINISAT = true +#CFLAGS_BASE = $(OPTIMIZE) -DCRYPTOMINISAT +#CRYPTOMINISAT = true #CFLAGS_M32 = -m32 SHELL=/bin/bash diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 314ce83..e9bf50f 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -3,8 +3,8 @@ # To make in debug mode, type 'make "OPTIMIZE=-g" # To make in optimized mode, type 'make "OPTIMIZE=-O3" - -include scripts/Makefile.common scripts/config.info +include scripts/Makefile.common +-include scripts/config.info BIN_DIR=$(PREFIX)/bin LIB_DIR=$(PREFIX)/lib @@ -92,7 +92,6 @@ clean: .PHONY: configclean configclean: - touch scripts/config.info rm -rf scripts/config.info .PHONY: regressall -- 2.47.3