Ticket #47422: Portfile-isl.diff

File Portfile-isl.diff, 848 bytes (added by Schamschula (Marius Schamschula), 10 years ago)

  • Portfile

    old new  
    88conflicts           isl-devel
    99
    1010epoch               2
    11 version             0.14
    12 revision            2
     11version             0.14.1
    1312
    1413categories          devel math
    1514platforms           darwin
    … …  
    3534
    3635master_sites        http://isl.gforge.inria.fr
    3736use_bzip2           yes
    38 checksums           rmd160  4c69d026b51561bc1948cb7db79331b78a9d2c39 \
    39                     sha256  7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36
     37checksums           rmd160  e4e45a8b777f89108303c165b149404ef84fd190 \
     38                    sha256  1f20561843eb9f6ae2076800bc45f3680ff7696520257cd5734ccfb843464cae
    4039
    4140# Add a missing include to the isl_int headers. Upstream doesn't want to
    4241# bother fixing deprecated APIs