Ticket #11227: cliquer-1.2.p8-p9.diff

File cliquer-1.2.p8-p9.diff, 1.6 KB (added by jdemeyer, 11 years ago)

Diff for the cliquer spkg, for reviewing only

  • SPKG.txt

    diff -r e717c7973e7b SPKG.txt
    a b  
    2424
    2525== Changelog ==
    2626
     27=== cliquer-1.2.p9 (Jeroen Demeyer, 4 May 2011) ===
     28 * #11227: Apply workaround also for versions 4.6.1 of gcc, not only
     29   version 4.6.0.  This is to support pre-release versions of
     30   gcc 4.6.1, the bug should be fixed in the final gcc 4.6.1.
     31
    2732=== cliquer-1.2.p8 (Jeroen Demeyer, 25 April 2011) ===
    2833 * #11227: When compiling with gcc 4.6.0, add compiler flag -fno-ivopts
    2934   to work around a gcc bug.
  • spkg-install

    diff -r e717c7973e7b spkg-install
    a b  
    1212
    1313# Add a sensible default optimisation flag. Change if necessary.
    1414OPTIMIZATION_FLAGS="-O2"
    15 # Work around a bug in gcc 4.6.0, probably http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48702
    16 if [ "x`$SAGE_LOCAL/bin/testcc.sh $CC`" = xGCC ] && [ "x`$CC -dumpversion 2>/dev/null`" = x4.6.0 ] ; then
    17     echo "Warning: Working around bug in gcc 4.6.0"
    18     OPTIMIZATION_FLAGS="$OPTIMIZATION_FLAGS -fno-ivopts"
     15# Work around a bug in gcc 4.6.0: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48774
     16if [ "x`$SAGE_LOCAL/bin/testcc.sh $CC`" = xGCC ] ; then
     17    if $CC -dumpversion 2>/dev/null |grep >/dev/null '^4\.6\.[01]$' ; then
     18        echo "Warning: Working around bug in gcc 4.6.0"
     19        OPTIMIZATION_FLAGS="$OPTIMIZATION_FLAGS -fno-ivopts"
     20    fi
    1921fi
    2022
     23
    2124# Most packages do not need all these set. But it is better to do them all
    2225# each time, rather than omit a flag by mistake.
    2326