| 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 | |
|---|
