Ticket #50090: Portfile-gringo.diff

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

  • math/gringo/Portfile 

    diff --git math/gringo/Portfile math/gringo/Portfile
index 873d810..7bd6376 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
    26 depends_build       port:scons port:re2c port:bison
    27 depends_lib         port:boost
     26depends_build       port:scons port:re2c port:bison port:pkgconfig
     27depends_lib         port:boost port:python27 port:lua
    2828
    2929worksrcdir          ${name}-${version}-source
    3030
    … … use_parallel_build no 
    3333
    3434variant universal {}
    3535
     36set python.branch   2.7
     37set python.pkgd     ${frameworks_dir}/Python.framework/Versions/${python.branch}/lib/python${python.branch}/site-packages
     38set lua.version     5.3
     39set lua.moddir      ${prefix}/lib/lua/${lua.version}
     40
    3641build.cmd           ${prefix}/bin/scons
    37 build.target        gringo clingo
     42build.target        gringo clingo reify pyclingo luaclingo
    3843build.args          --build-dir=release \
    39                     CXX="${configure.cxx} [get_canonical_archflags cxx]"
     44                    CXX="${configure.cxx} [get_canonical_archflags cxx]" \
     45                    PYTHON_CONFIG="${prefix}/bin/python${python.branch}-config"
    4046
    4147destroot {
    4248    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \
     49        ${destroot}${prefix}/bin \
     50        ${destroot}${python.pkgd} \
     51        ${destroot}${lua.moddir}
     52    xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo reify \
    4353        ${destroot}${prefix}/bin
    44     xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo \
    45         ${destroot}${prefix}/bin
    46     xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING NOTES INSTALL \
     54    xinstall -m 0755 -W ${worksrcpath}/build/release/python gringo.so \
     55        ${destroot}${python.pkgd}
     56    xinstall -m 0755 -W ${worksrcpath}/build/release/lua gringo.so \
     57        ${destroot}${lua.moddir}
     58    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING INSTALL \
    4759        ${destroot}${prefix}/share/doc/${name}
    4860}
    4961