From 39aa11cb009ab2d838b0f2f223dc002075a29394 Mon Sep 17 00:00:00 2001
From: Lukas Zaoral <lzaoral@redhat.com>
Date: Wed, 4 Aug 2021 13:15:49 +0200
Subject: [PATCH] build: do not compile with -Werror
---
CMakeLists.txt | 2 +-
src/ansi-c/library_check.sh | 2 +-
src/config.inc | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git CMakeLists.txt CMakeLists.txt
index 1cb6c78ec..7667dd453 100644
--- CMakeLists.txt
+++ CMakeLists.txt
@@ -62,7 +62,7 @@ if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR
set(CMAKE_CXX_FLAGS_RELEASE "-O2")
set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-O2 -g")
# Enable lots of warnings
- set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wpedantic -Werror -Wno-deprecated-declarations -Wswitch-enum")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wpedantic -Wno-deprecated-declarations -Wswitch-enum")
elseif("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
# This would be the place to enable warnings for Windows builds, although
# config.inc doesn't seem to do that currently
diff --git a/src/ansi-c/library_check.sh b/src/ansi-c/library_check.sh
index bb362dc02..bd407ee74 100755
--- src/ansi-c/library_check.sh
+++ src/ansi-c/library_check.sh
@@ -11,7 +11,7 @@ for f in "$@"; do
perl -p -i -e 's/(__sync_)/s$1/' __libcheck.c
perl -p -i -e 's/(__atomic_)/s$1/' __libcheck.c
"$CC" -std=gnu99 -E -include library/cprover.h -D__CPROVER_bool=_Bool -D__CPROVER_thread_local=__thread -DLIBRARY_CHECK -o __libcheck.i __libcheck.c
- "$CC" -S -Wall -Werror -pedantic -Wextra -std=gnu99 __libcheck.i \
+ "$CC" -S -Wall -pedantic -Wextra -std=gnu99 __libcheck.i \
-o __libcheck.s -Wno-unused-label -Wno-unknown-pragmas
ec="${?}"
rm __libcheck.s __libcheck.i __libcheck.c
diff --git src/config.inc src/config.inc
index 71d5f1d80..bb85390e8 100644
--- src/config.inc
+++ src/config.inc
@@ -5,7 +5,7 @@ BUILD_ENV = AUTO
ifeq ($(BUILD_ENV),MSVC)
#CXXFLAGS += /Wall /WX
else
- CXXFLAGS += -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum
+ CXXFLAGS += -Wall -pedantic -Wno-deprecated-declarations -Wswitch-enum
endif
ifeq ($(CPROVER_WITH_PROFILING),1)
--
2.31.1