Skip to content

Commit 6963e66

Browse files
zayenzzayenz
authored
Avoid unknown pragma warnings for gcc and clang (#87)
In some cases, we use pragmas to turn off specific warnings for parts of the code. Unfortunately, this in turn makes other compilers warn about unknown pragmas. This change adds the flag -Wno-unknown-pragmas to gcc and clang to make them ignore prgmas tht they do not know about.
1 parent 12a066f commit 6963e66

File tree

2 files changed

+229
-0
lines changed

2 files changed

+229
-0
lines changed

‎configure

Lines changed: 228 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7079,6 +7079,120 @@ $as_echo "yes" >&6; }
70797079
CFLAGS="-Wall${CFLAGS:+ }${CFLAGS}"
70807080
fi
70817081

7082+
else
7083+
CFLAGS="${ac_gecode_save_CFLAGS}"
7084+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
7085+
$as_echo "no" >&6; }
7086+
:
7087+
fi
7088+
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
7089+
ac_ext=cpp
7090+
ac_cpp='$CXXCPP $CPPFLAGS'
7091+
ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7092+
ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7093+
ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
7094+
7095+
fi
7096+
7097+
if test "${ac_cv_cxx_compiler_vendor}" = "microsoft"; then
7098+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${CXX} accepts -Wno-unknown-pragmas" >&5
7099+
$as_echo_n "checking whether ${CXX} accepts -Wno-unknown-pragmas... " >&6; }
7100+
if ${CXX} -Wno-unknown-pragmas 2>&1 | grep "ignoring unknown option" -q; then
7101+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
7102+
$as_echo "no" >&6; }
7103+
:
7104+
else
7105+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
7106+
$as_echo "yes" >&6; }
7107+
7108+
CXXFLAGS="-Wno-unknown-pragmas${CXXFLAGS:+ }${CXXFLAGS}"
7109+
CFLAGS="-Wno-unknown-pragmas${CFLAGS:+ }${CFLAGS}"
7110+
fi
7111+
else
7112+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${CXX} accepts -Wno-unknown-pragmas" >&5
7113+
$as_echo_n "checking whether ${CXX} accepts -Wno-unknown-pragmas... " >&6; }
7114+
ac_gecode_save_CXXFLAGS="${CXXFLAGS}"
7115+
CXXFLAGS="-Wno-unknown-pragmas${CXXFLAGS:+ }${CXXFLAGS} -Werror"
7116+
ac_ext=cpp
7117+
ac_cpp='$CXXCPP $CPPFLAGS'
7118+
ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7119+
ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7120+
ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
7121+
7122+
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
7123+
/* end confdefs.h. */
7124+
7125+
int
7126+
main ()
7127+
{
7128+
7129+
;
7130+
return 0;
7131+
}
7132+
_ACEOF
7133+
if ac_fn_cxx_try_compile "$LINENO"; then :
7134+
if grep -q "unrecognized\|argument unused" conftest.err; then
7135+
CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
7136+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
7137+
$as_echo "no" >&6; }
7138+
:
7139+
else
7140+
CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
7141+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
7142+
$as_echo "yes" >&6; }
7143+
7144+
CXXFLAGS="-Wno-unknown-pragmas${CXXFLAGS:+ }${CXXFLAGS}"
7145+
fi
7146+
7147+
else
7148+
CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
7149+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
7150+
$as_echo "no" >&6; }
7151+
:
7152+
fi
7153+
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
7154+
ac_ext=cpp
7155+
ac_cpp='$CXXCPP $CPPFLAGS'
7156+
ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7157+
ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7158+
ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
7159+
7160+
7161+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${CC} accepts -Wno-unknown-pragmas" >&5
7162+
$as_echo_n "checking whether ${CC} accepts -Wno-unknown-pragmas... " >&6; }
7163+
ac_gecode_save_CFLAGS="${CFLAGS}"
7164+
CFLAGS="-Wno-unknown-pragmas${CFLAGS:+ }${CFLAGS} -Werror"
7165+
ac_ext=c
7166+
ac_cpp='$CPP $CPPFLAGS'
7167+
ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7168+
ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7169+
ac_compiler_gnu=$ac_cv_c_compiler_gnu
7170+
7171+
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
7172+
/* end confdefs.h. */
7173+
7174+
int
7175+
main ()
7176+
{
7177+
7178+
;
7179+
return 0;
7180+
}
7181+
_ACEOF
7182+
if ac_fn_c_try_compile "$LINENO"; then :
7183+
if grep -q "unrecognized\|argument unused" conftest.err; then
7184+
CFLAGS="${ac_gecode_save_CFLAGS}"
7185+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
7186+
$as_echo "no" >&6; }
7187+
:
7188+
else
7189+
CFLAGS="${ac_gecode_save_CFLAGS}"
7190+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
7191+
$as_echo "yes" >&6; }
7192+
7193+
CFLAGS="-Wno-unknown-pragmas${CFLAGS:+ }${CFLAGS}"
7194+
fi
7195+
70827196
else
70837197
CFLAGS="${ac_gecode_save_CFLAGS}"
70847198
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
@@ -10055,6 +10169,120 @@ $as_echo "yes" >&6; }
1005510169
CFLAGS="-Wall${CFLAGS:+ }${CFLAGS}"
1005610170
fi
1005710171

10172+
else
10173+
CFLAGS="${ac_gecode_save_CFLAGS}"
10174+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
10175+
$as_echo "no" >&6; }
10176+
:
10177+
fi
10178+
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
10179+
ac_ext=cpp
10180+
ac_cpp='$CXXCPP $CPPFLAGS'
10181+
ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
10182+
ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
10183+
ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
10184+
10185+
fi
10186+
10187+
if test "${ac_cv_cxx_compiler_vendor}" = "microsoft"; then
10188+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${CXX} accepts -Wno-unknown-pragmas" >&5
10189+
$as_echo_n "checking whether ${CXX} accepts -Wno-unknown-pragmas... " >&6; }
10190+
if ${CXX} -Wno-unknown-pragmas 2>&1 | grep "ignoring unknown option" -q; then
10191+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
10192+
$as_echo "no" >&6; }
10193+
:
10194+
else
10195+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
10196+
$as_echo "yes" >&6; }
10197+
10198+
CXXFLAGS="-Wno-unknown-pragmas${CXXFLAGS:+ }${CXXFLAGS}"
10199+
CFLAGS="-Wno-unknown-pragmas${CFLAGS:+ }${CFLAGS}"
10200+
fi
10201+
else
10202+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${CXX} accepts -Wno-unknown-pragmas" >&5
10203+
$as_echo_n "checking whether ${CXX} accepts -Wno-unknown-pragmas... " >&6; }
10204+
ac_gecode_save_CXXFLAGS="${CXXFLAGS}"
10205+
CXXFLAGS="-Wno-unknown-pragmas${CXXFLAGS:+ }${CXXFLAGS} -Werror"
10206+
ac_ext=cpp
10207+
ac_cpp='$CXXCPP $CPPFLAGS'
10208+
ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
10209+
ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
10210+
ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
10211+
10212+
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
10213+
/* end confdefs.h. */
10214+
10215+
int
10216+
main ()
10217+
{
10218+
10219+
;
10220+
return 0;
10221+
}
10222+
_ACEOF
10223+
if ac_fn_cxx_try_compile "$LINENO"; then :
10224+
if grep -q "unrecognized\|argument unused" conftest.err; then
10225+
CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
10226+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
10227+
$as_echo "no" >&6; }
10228+
:
10229+
else
10230+
CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
10231+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
10232+
$as_echo "yes" >&6; }
10233+
10234+
CXXFLAGS="-Wno-unknown-pragmas${CXXFLAGS:+ }${CXXFLAGS}"
10235+
fi
10236+
10237+
else
10238+
CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
10239+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
10240+
$as_echo "no" >&6; }
10241+
:
10242+
fi
10243+
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
10244+
ac_ext=cpp
10245+
ac_cpp='$CXXCPP $CPPFLAGS'
10246+
ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
10247+
ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
10248+
ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
10249+
10250+
10251+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${CC} accepts -Wno-unknown-pragmas" >&5
10252+
$as_echo_n "checking whether ${CC} accepts -Wno-unknown-pragmas... " >&6; }
10253+
ac_gecode_save_CFLAGS="${CFLAGS}"
10254+
CFLAGS="-Wno-unknown-pragmas${CFLAGS:+ }${CFLAGS} -Werror"
10255+
ac_ext=c
10256+
ac_cpp='$CPP $CPPFLAGS'
10257+
ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
10258+
ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
10259+
ac_compiler_gnu=$ac_cv_c_compiler_gnu
10260+
10261+
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
10262+
/* end confdefs.h. */
10263+
10264+
int
10265+
main ()
10266+
{
10267+
10268+
;
10269+
return 0;
10270+
}
10271+
_ACEOF
10272+
if ac_fn_c_try_compile "$LINENO"; then :
10273+
if grep -q "unrecognized\|argument unused" conftest.err; then
10274+
CFLAGS="${ac_gecode_save_CFLAGS}"
10275+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
10276+
$as_echo "no" >&6; }
10277+
:
10278+
else
10279+
CFLAGS="${ac_gecode_save_CFLAGS}"
10280+
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
10281+
$as_echo "yes" >&6; }
10282+
10283+
CFLAGS="-Wno-unknown-pragmas${CFLAGS:+ }${CFLAGS}"
10284+
fi
10285+
1005810286
else
1005910287
CFLAGS="${ac_gecode_save_CFLAGS}"
1006010288
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5

‎gecode.m4

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -669,6 +669,7 @@ AC_DEFUN([AC_GECODE_GCC_GENERAL_SWITCHES],
669669
[AC_GECODE_CHECK_COMPILERFLAG([-fPIC])
670670
AC_GECODE_CHECK_COMPILERFLAG([-Wextra])
671671
AC_GECODE_CHECK_COMPILERFLAG([-Wall])
672+
AC_GECODE_CHECK_COMPILERFLAG([-Wno-unknown-pragmas])
672673
AC_GECODE_CHECK_COMPILERFLAG([-pipe])
673674
674675
AC_ARG_ENABLE([cpp11],

0 commit comments

Comments
 (0)