X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=dfc4baf60c72d3fb98202a19872795635f93b008;hb=08588e75a1df413eff334c30d62a93d04cb214cf;hp=28f70cfacab63aa96e60434d1f7a51678e319b10;hpb=afda22462a88ca2ec887fce3f0acef7ff5d5a6b7;p=pspp

diff --git a/configure.ac b/configure.ac
index 28f70cfaca..dfc4baf60c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -52,6 +52,14 @@ PSPP_CHECK_MAKEINFO_DOCBOOK_XML
 PSPP_CHECK_DOT
 
 PSPP_ENABLE_WERROR
+PSPP_ENABLE_OPTION([-Wall])
+PSPP_ENABLE_OPTION([-Wextra])
+PSPP_ENABLE_OPTION([-Wwrite-strings])
+PSPP_ENABLE_OPTION([-Wstrict-prototypes])
+PSPP_ENABLE_OPTION([-Wpointer-arith])
+PSPP_ENABLE_OPTION([-Wno-sign-compare])
+PSPP_ENABLE_OPTION([-Wmissing-prototypes])
+PSPP_ENABLE_OPTION([-Wc11-c2x-compat])
 
 AM_CONDITIONAL(cc_is_gcc, test x"$GCC" = x"yes" )
 AM_CONDITIONAL(host_is_w32, [case $host_os in mingw*) true;; *) false;; esac] )