Revision: 102359 https://trac.macports.org/changeset/102359 Author: ecronin@macports.org Date: 2013-01-31 17:49:41 -0800 (Thu, 31 Jan 2013) Log Message: ----------- coq: update to 8.4pl1 Maintainer timeout. Closes #37425 Modified Paths: -------------- trunk/dports/lang/coq/Portfile Modified: trunk/dports/lang/coq/Portfile =================================================================== --- trunk/dports/lang/coq/Portfile 2013-02-01 00:17:23 UTC (rev 102358) +++ trunk/dports/lang/coq/Portfile 2013-02-01 01:49:41 UTC (rev 102359) @@ -3,7 +3,7 @@ PortSystem 1.0 name coq -version 8.4 +version 8.4pl1 revision 1 platforms darwin categories lang math @@ -19,26 +19,20 @@ their formal specification. It is developed using Objective Caml and \ Camlp4. For more information, see <${homepage}>. -checksums rmd160 6824f9542c823c7d943a59acefb90ff9c9dbe37a \ - sha256 f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d +checksums rmd160 fa472852de474ed5b83ddd4bd5a303f32b5dba94 \ + sha256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 -# 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 +depends_lib port:ocaml port:camlp5 -configure.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH) configure.pre_args -prefix ${prefix} configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \ -mandir ${prefix}/share/man \ -coqdocdir ${prefix}/share/coq/latex \ -coqide none \ - -with-doc no \ - -camldir ${prefix}/libexec/ocaml3 \ - -camlp5dir ${prefix}/lib/ocaml3/camlp5 -build.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH) -build.target world + -with-doc no +build.target world -destroot.target install +destroot.target install destroot.destdir COQINSTALLPREFIX=${destroot} # ocaml is not universal