Ticket #51647: Portfile-gringo.diff

File Portfile-gringo.diff, 353 bytes (added by antonbachin@…, 8 years ago)
  • Portfile

    old new  
    2525                    sha256  81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
    2626
    2727depends_build       port:scons port:re2c port:bison
    28 depends_lib         port:boost
    2928
    3029worksrcdir          ${name}-${version}-source
    3130