Ticket #50185: Portfile-gringo.2.diff

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

increase revision: installed files have changed

  • math/gringo/Portfile 

    diff --git math/gringo/Portfile math/gringo/Portfile
index d9300b1..178a818 100644
    PortGroup cxx11 1.0 
    55
    66name                gringo
    77version             4.5.4
     8revision            1
    89categories          math devel
    910platforms           darwin
    1011maintainers         mww openmaintainer
    … … use_parallel_build no 
    3334
    3435variant universal {}
    3536
     37patchfiles          patch-SConstruct.diff
     38
    3639build.cmd           ${prefix}/bin/scons
    3740build.target        gringo clingo reify
    3841build.args          --build-dir=release \