New Ticket     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #14886: Portfile-pandoc.diff

File Portfile-pandoc.diff, 369 bytes (added by jgm@…, 4 years ago)
  • Portfile

    old new  
    1919checksums           md5 9a92a800678767393adab6eb1b69c04b 
    2020depends_build       port:ghc port:haddock 
    2121depends_lib         port:gmp 
     22patchfiles          patch-Text-Pandoc-Definition.hs 
    2223 
    2324use_configure       no 
    2425build.args          PREFIX=${prefix}