fix most of the warnings in the parser by (1) quieting unused-function and unused...

diff --git a/src/include/cvc4parser_private.h b/src/include/cvc4parser_private.h
index 6704daca2547e50da63ca53dd556de9d4b10b150..5960b5c616a761bae57e12988bd7caa53929faee 100644 (file)
--- a/src/include/cvc4parser_private.h
+++ b/src/include/cvc4parser_private.h
@@ -22,6 +22,9 @@
 #endif /* ! (__BUILDING_CVC4PARSERLIB || __BUILDING_CVC4PARSERLIB_UNIT_TEST) */
 
 #include "cvc4parser_public.h"
-#include "cvc4autoconfig.h"
+// It would be nice to #include this here, but there are conflicts with
+// antlr3's autoheader stuff, which they export :(
+//
+// #include "cvc4autoconfig.h"
 
 #endif /* __CVC4PARSER_PRIVATE_H */

diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am
index 08e6c4d5228906d5c93306603734909411d30530..288b79b15afd174ffd6f7403eac47a003914e8a2 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)
+AM_CXXFLAGS = -Wall $(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 3ffe61b05083494e816092c5d68de5e3a28d094b..7925278164c55302d4bcbd09f9bfc123f06c8abd 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)
+AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
 
 # Compile generated C files using C++ compiler
 AM_CFLAGS = $(AM_CXXFLAGS)