Ticket #48097: coq-Portfile.patch

File coq-Portfile.patch, 869 bytes (added by pmetzger (Perry E. Metzger), 9 years ago)

Patch to upgrade the Portfile

  • Portfile

    old new  
    44PortSystem          1.0
    55
    66name                coq
    7 version             8.4pl5
     7version             8.4pl6
    88revision            0
    99platforms           darwin
    1010categories          lang math
    … …  
    2222                    port:camlp5
    2323
    2424master_sites        http://coq.inria.fr/distrib/V${version}/files/
    25 checksums           rmd160  352ee5778605e9740b2d4ae4586933102beb43f2 \
    26                     sha256  35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
     25checksums           rmd160  f57f6e5732d3977f3346dda2749f4b9628604018 \
     26                    sha256  a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
    2727
    2828configure.pre_args  -prefix ${prefix}
    2929configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \