Revision: 98282 http://trac.macports.org//changeset/98282 Author: cal@macports.org Date: 2012-10-01 12:46:57 -0700 (Mon, 01 Oct 2012) Log Message: ----------- coq: update to 8.4, closes #36005, maintainer timeout Modified Paths: -------------- trunk/dports/lang/coq/Portfile Modified: trunk/dports/lang/coq/Portfile =================================================================== --- trunk/dports/lang/coq/Portfile 2012-10-01 19:29:02 UTC (rev 98281) +++ trunk/dports/lang/coq/Portfile 2012-10-01 19:46:57 UTC (rev 98282) @@ -3,7 +3,7 @@ PortSystem 1.0 name coq -version 8.3pl4 +version 8.4 revision 1 platforms darwin categories lang math @@ -19,10 +19,11 @@ their formal specification. It is developed using Objective Caml and \ Camlp4. For more information, see <${homepage}>. -checksums rmd160 ed6dc4516210667707b9206aeaef260ce6bef7ef \ - sha256 79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d +checksums rmd160 6824f9542c823c7d943a59acefb90ff9c9dbe37a \ + sha256 f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d # coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3 +# TODO: verify if this is still the case depends_lib port:ocaml3 port:ocaml3-camlp5 configure.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH)