Ticket #50090: Portfile-gringo.2.diff

File Portfile-gringo.2.diff, 1.7 KB (added by dliessi (Davide Liessi), 9 years ago)

new patch: only update to latest version and install also reify

  • math/gringo/Portfile

    diff --git math/gringo/Portfile math/gringo/Portfile
    index 873d810..d9300b1 100644
    PortSystem 1.0 
    44PortGroup           cxx11 1.0
    55
    66name                gringo
    7 version             4.4.0
     7version             4.5.4
    88categories          math devel
    99platforms           darwin
    1010maintainers         mww openmaintainer
    master_sites sourceforge:project/potassco/gringo/${version}/ 
    2020
    2121distname            ${name}-${version}-source
    2222
    23 checksums           rmd160  4619eb5814a54bd8f25b1d824ebf35a5c165d905 \
    24                     sha256  49b2ddc78f568a12530c780a29bb7f57b656556f0840c5e9ada4f207913dde5e
     23checksums           rmd160  3a8c7615a4649958e67a93a44d8917df6b032868 \
     24                    sha256  81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
    2525
    2626depends_build       port:scons port:re2c port:bison
    2727depends_lib         port:boost
    use_parallel_build no 
    3434variant universal {}
    3535
    3636build.cmd           ${prefix}/bin/scons
    37 build.target        gringo clingo
     37build.target        gringo clingo reify
    3838build.args          --build-dir=release \
    3939                    CXX="${configure.cxx} [get_canonical_archflags cxx]"
    4040
    4141destroot {
    4242    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \
    4343        ${destroot}${prefix}/bin
    44     xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo \
     44    xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo reify \
    4545        ${destroot}${prefix}/bin
    46     xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING NOTES INSTALL \
     46    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING INSTALL \
    4747        ${destroot}${prefix}/share/doc/${name}
    4848}
    4949