Ticket #50185: Portfile-gringo.diff

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

  • math/gringo/Portfile 

    diff --git math/gringo/Portfile math/gringo/Portfile
index d9300b1..63e0019 100644
    use_parallel_build no 
    3333
    3434variant universal {}
    3535
     36patchfiles          patch-SConstruct.diff
     37
    3638build.cmd           ${prefix}/bin/scons
    3739build.target        gringo clingo reify
    3840build.args          --build-dir=release \