Ticket #45508: Portfile.diff
File Portfile.diff, 677 bytes (added by pmetzger (Perry E. Metzger), 10 years ago) |
---|
-
Portfile
old new 5 5 6 6 name coq 7 7 version 8.4pl4 8 revision 1 8 9 platforms darwin 9 10 categories lang math 10 11 license LGPL-2.1 … … 24 25 checksums rmd160 19e3fe905f5db09710b1f862f21e9b57c28f9704 \ 25 26 sha256 06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 26 27 28 patchfiles patch-kernel-univ.ml.diff 29 27 30 configure.pre_args -prefix ${prefix} 28 31 configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \ 29 32 -mandir ${prefix}/share/man \