remove warnings about unknown #pragma GCC diagnostic on older compilers

diff --git a/Makefile.am b/Makefile.am
index 8488c4dec80840ab27425f5105b8bd7bb1a64c8d..fbd66a536f4f3bd4bbcfac8b57b65261b960a99d 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,6 +1,6 @@
 include $(top_srcdir)/config/doxygen.am
 
-AM_CXXFLAGS = -Wall
+AM_CXXFLAGS = -Wall -wunknown-pragmas
 
 AUTOMAKE_OPTIONS = foreign
 ACLOCAL_AMFLAGS = -I config

diff --git a/src/Makefile.am b/src/Makefile.am
index cb529dcdeb94c82e09ea819149537ec815094816..98b05e23c6abb89093b3d11a9ba385358670e87c 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -15,7 +15,7 @@ LIBCVC4_VERSION = @CVC4_LIBRARY_VERSION@
 AM_CPPFLAGS =
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/include -I@srcdir@
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 SUBDIRS = expr util context theory prop smt . parser main
 

diff --git a/src/context/Makefile.am b/src/context/Makefile.am
index 85847e096e92d533081cdcf8c832da74a94ff8e2..549cf54cfaa7ccffc049a2f7e56dbc2b18ffbc46 100644 (file)
--- a/src/context/Makefile.am
+++ b/src/context/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libcontext.la
 

diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am
index cacae45cea99f4850b4b7c18de72e056ba6f4743..fa1a1b082bc8bcfe234d81069c79f93a54022df6 100644 (file)
--- a/src/expr/Makefile.am
+++ b/src/expr/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libexpr.la
 

diff --git a/src/main/Makefile.am b/src/main/Makefile.am
index e73b38f1db6f8a47acd249b1d695d30a9b78fbdf..6d6adade2acc981ed050a2c74a013347bdfdeec8 100644 (file)
--- a/src/main/Makefile.am
+++ b/src/main/Makefile.am
@@ -1,6 +1,6 @@
 AM_CPPFLAGS = \
        -I@srcdir@/../include -I@srcdir@/.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
+AM_CXXFLAGS = -Wall -wunknown-pragmas
 
 bin_PROGRAMS = cvc4
 

diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am
index f95b01b8cf11de17e38adf5bd004dc1dcff6e748..87b0f9f9d186faefab86f59936d60e5c3ffc40f7 100644 (file)
--- a/src/parser/Makefile.am
+++ b/src/parser/Makefile.am
@@ -15,7 +15,7 @@ LIBCVC4PARSER_VERSION = @CVC4_PARSER_LIBRARY_VERSION@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4PARSERLIB \
        -I@srcdir@/../include -I@srcdir@/.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 SUBDIRS = smt smt2 cvc
 

diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am
index 288b79b15afd174ffd6f7403eac47a003914e8a2..c08c6d694347ecaed3313d23bf59a644c519bfde 100644 (file)
--- a/src/parser/cvc/Makefile.am
+++ b/src/parser/cvc/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4PARSERLIB \
        -I@srcdir@/../../include -I@srcdir@/../.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
 
 # Compile generated C files using C++ compiler
 CC=$(CXX)

diff --git a/src/parser/smt/Makefile.am b/src/parser/smt/Makefile.am
index 7316766440c10ca17d5b808b0365b9bb5c986354..a349273e0d987057540f11b9692b23c489db1b5d 100644 (file)
--- a/src/parser/smt/Makefile.am
+++ b/src/parser/smt/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4PARSERLIB \
        -I@srcdir@/../../include -I@srcdir@/../.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
 
 # Compile generated C files using C++ compiler
 AM_CFLAGS = $(AM_CXXFLAGS)

diff --git a/src/parser/smt2/Makefile.am b/src/parser/smt2/Makefile.am
index d9082e0b6bc15fdd0e14dfe3afe34062444e4b97..97583c12ba3c6fa17f8ba38678fb7ab377db9076 100644 (file)
--- a/src/parser/smt2/Makefile.am
+++ b/src/parser/smt2/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4PARSERLIB \
        -I@srcdir@/../../include -I@srcdir@/../.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
 
 # Compile generated C files using C++ compiler
 AM_CFLAGS = $(AM_CXXFLAGS)

diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am
index 2856cc06549ccc694b3f82468a0e7c725f9aa69c..a441773e8be0f65a4e7df6b816326800153f1a41 100644 (file)
--- a/src/prop/Makefile.am
+++ b/src/prop/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libprop.la
 

diff --git a/src/prop/minisat/Makefile.am b/src/prop/minisat/Makefile.am
index d68237d9be4be9a6d4e8a7bfa1671af38b7e1394..829a705f530e64eac8805c614d51d51fb4b2b828 100644 (file)
--- a/src/prop/minisat/Makefile.am
+++ b/src/prop/minisat/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/mtl -I@srcdir@/core -I@srcdir@/../.. -I@srcdir@/../../include
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -DNDEBUG
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -DNDEBUG
 
 noinst_LTLIBRARIES = libminisat.la
 libminisat_la_SOURCES = \

diff --git a/src/smt/Makefile.am b/src/smt/Makefile.am
index 889385d77c0e7b273b0e9953b525c220db0a2153..21140e86d079aa0f4ebbbe49f2f1156f8659fc06 100644 (file)
--- a/src/smt/Makefile.am
+++ b/src/smt/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libsmt.la
 

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index c2c356fde4723c01bc84234999ccb59717a852e2..ca0ade6cd403593fdc14c86e38885a384f01d179 100644 (file)
--- a/src/theory/Makefile.am
+++ b/src/theory/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libtheory.la
 

diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am
index ae9d3aab759916ca697c29d79263fbb5299bd663..51b63acd3579fc3e622152b5245161b475db3120 100644 (file)
--- a/src/theory/arith/Makefile.am
+++ b/src/theory/arith/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../../include -I@srcdir@/../..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libarith.la
 

diff --git a/src/theory/arrays/Makefile.am b/src/theory/arrays/Makefile.am
index 813a91314d26083916a2e575c47373efc52d51b3..34d29c23725a7016e80d901e4b74324d4ab7beb7 100644 (file)
--- a/src/theory/arrays/Makefile.am
+++ b/src/theory/arrays/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../../include -I@srcdir@/../..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libarrays.la
 

diff --git a/src/theory/booleans/Makefile.am b/src/theory/booleans/Makefile.am
index a1b3e097aefd57dc916f68225ed6a09f531fdd36..5de781b7f040507543316e253ad40e2f9833d6c6 100644 (file)
--- a/src/theory/booleans/Makefile.am
+++ b/src/theory/booleans/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../../include -I@srcdir@/../..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libbooleans.la
 

diff --git a/src/theory/bv/Makefile.am b/src/theory/bv/Makefile.am
index 6f9a51dc3105359dd3dc08dce09e0dc774dc00d3..cf1012e8690dbc28728bac2ca51aa0b96b3f6fa3 100644 (file)
--- a/src/theory/bv/Makefile.am
+++ b/src/theory/bv/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../../include -I@srcdir@/../..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libbv.la
 

diff --git a/src/theory/uf/Makefile.am b/src/theory/uf/Makefile.am
index e40359521adb6824dbbe32914b15ce665390017f..2dadef309e2d2cadae38090e84ffb051b4d41ff2 100644 (file)
--- a/src/theory/uf/Makefile.am
+++ b/src/theory/uf/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../../include -I@srcdir@/../..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libuf.la
 

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 8c9ddb5bbe412732ddea795de36258fd13b6b5a0..b60d61e994a21e3410b76a68940ed50eeca6ee31 100644 (file)
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libutil.la
 

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 0597de9313716153d70be6158aa7a486a65651ab..a5ba6b3a1e67f3299447f1454577581242b14d4a 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -45,7 +45,7 @@ if HAVE_CXXTESTGEN
 AM_CPPFLAGS = \
        -I. "-I@CXXTEST@" "-I@top_srcdir@/src/include" "-I@top_srcdir@/src" \
        $(ANTLR_INCLUDES) $(TEST_CPPFLAGS)
-AM_CXXFLAGS = -Wall $(TEST_CXXFLAGS)
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(TEST_CXXFLAGS)
 AM_LDFLAGS = $(TEST_LDFLAGS)
 
 AM_CXXFLAGS_WHITE = -fno-access-control -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST