Ticket #50428: coq-Portfile-patch

File coq-Portfile-patch, 1.3 KB (added by pmetzger (Perry E. Metzger), 9 years ago)
Line 
1--- Portfile.~1~        2015-06-24 12:34:35.000000000 -0400
2+++ Portfile    2016-01-24 10:54:49.000000000 -0500
3@@ -4,12 +4,11 @@
4 PortSystem          1.0
5 
6 name                coq
7-version             8.4pl6
8-revision            1
9+version             8.5
10 platforms           darwin
11 categories          lang math
12 license             LGPL-2.1
13-maintainers         piermont.com:perry
14+maintainers         piermont.com:perry openmaintainer
15 
16 description         Proof assistant for higher-order logic
17 long_description    Coq is a proof assistant for higher-order logic, \
18@@ -22,14 +21,14 @@
19                     port:camlp5
20 
21 master_sites        http://coq.inria.fr/distrib/V${version}/files/
22-checksums           rmd160  f57f6e5732d3977f3346dda2749f4b9628604018 \
23-                    sha256  a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
24+checksums           rmd160  551d35ac96436d98112fa1a17bcc075ee307c627 \
25+                    sha256  89a92fb8b91e7cb0797d41c87cd13e4b63bee76c32a6dcc3d7c8055ca6a9ae3d
26 
27 configure.pre_args  -prefix ${prefix}
28 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
29                     -mandir ${prefix}/share/man \
30                     -coqdocdir ${prefix}/share/coq/latex \
31-                    -coqide none \
32+                    -coqide no \
33                     -with-doc no
34 build.target        world
35