Ticket #51094: Portfile-z3github.diff

File Portfile-z3github.diff, 387 bytes (added by AlshammariA, 9 years ago)
  • Portfile

    old new  
    2020checksums           rmd160 513db261456e1e8d5eedbeac9b5f60a35524a84a \
    2121                    sha256 5bb469fcb5448d822b0298199892ee4498ecd675bda6667077beee8491c0b326
    2222
     23patchfiles           Portfile-z3github.diff
    2324
    2425post-destroot {
    2526        set docdir ${prefix}/share/doc/${name}