Ticket #45508: Portfile.diff

File Portfile.diff, 677 bytes (added by pmetzger (Perry E. Metzger), 10 years ago)

patch for Portfile

  • Portfile

    old new  
    55
    66name                coq
    77version             8.4pl4
     8revision            1
    89platforms           darwin
    910categories          lang math
    1011license             LGPL-2.1
    … …  
    2425checksums           rmd160  19e3fe905f5db09710b1f862f21e9b57c28f9704 \
    2526                    sha256  06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01
    2627
     28patchfiles          patch-kernel-univ.ml.diff
     29
    2730configure.pre_args  -prefix ${prefix}
    2831configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
    2932                    -mandir ${prefix}/share/man \