Ticket #45492: Portfile.diff

File Portfile.diff, 781 bytes (added by hiro.masa.yoshi.moto@…, 10 years ago)

  • Portfile

    old new  
    4040license_noconflict  gmp mpfr ppl libmpc
    4141
    4242patch.pre_args      -p1
    43 patchfiles          Fix-__ENVIRONMENT_MAC_OS_X_VERSION_MIN_REQUIRED__.patch
     43patchfiles          Fix-__ENVIRONMENT_MAC_OS_X_VERSION_MIN_REQUIRED__.patch \
     44                    isl-0.13-compat.diff
    4445
    4546set major           4.9
    4647
    … …  
    6667                    --with-mpc=${prefix} \
    6768                    --with-cloog=${prefix} --enable-cloog-backend=isl \
    6869                    --disable-cloog-version-check \
     70                    --disable-isl-version-check \
    6971                    --enable-stage1-checking \
    7072                    --disable-multilib \
    7173                    --enable-lto \