From: vijay_ganesh Date: Thu, 29 Oct 2009 18:52:13 +0000 (+0000) Subject: minor edit X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=6eaffa8e492a0c8f7d4eeb020889e7f630d4f7da;p=francis%2Fstp.git minor edit git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@363 e59a4935-1847-0410-ae03-e826735625c1 --- 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