Ticket #30767: gcc-ppl-version.patch

File gcc-ppl-version.patch, 406 bytes (added by yann.sionneau@…, 13 years ago)

patch to check for the right ppl version in gcc configure script

  • configure

    old new fi 
    57815781
    57825782# Check for PPL
    57835783ppl_major_version=0
    5784 ppl_minor_version=10
     5784ppl_minor_version=11
    57855785ppllibs=" -lppl_c -lppl -lgmpxx"
    57865786pplinc=
    57875787

  • configure.ac

    old new AC_SUBST(poststage1_ldflags) 
    15111511
    15121512# Check for PPL
    15131513ppl_major_version=0
    1514 ppl_minor_version=10
     1514ppl_minor_version=11
    15151515ppllibs=" -lppl_c -lppl -lgmpxx"
    15161516pplinc=
    15171517