Revision: 96032 https://trac.macports.org/changeset/96032 Author: mww@macports.org Date: 2012-07-29 05:55:55 -0700 (Sun, 29 Jul 2012) Log Message: ----------- coq: use ocaml3, inc revision Modified Paths: -------------- trunk/dports/lang/coq/Portfile Modified: trunk/dports/lang/coq/Portfile =================================================================== --- trunk/dports/lang/coq/Portfile 2012-07-29 12:38:08 UTC (rev 96031) +++ trunk/dports/lang/coq/Portfile 2012-07-29 12:55:55 UTC (rev 96032) @@ -4,6 +4,7 @@ name coq version 8.3pl4 +revision 1 platforms darwin categories lang math license LGPL-2.1 @@ -21,15 +22,21 @@ checksums rmd160 ed6dc4516210667707b9206aeaef260ce6bef7ef \ sha256 79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d -use_parallel_build yes +# coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3 +depends_lib port:ocaml3 port:ocaml3-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 -depends_lib bin:ocamlc:ocaml port:camlp5 + -with-doc no \ + -camldir ${prefix}/libexec/ocaml3 \ + -camlp5dir ${prefix}/lib/ocaml3/camlp5 +build.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH) build.target world + destroot.target install destroot.destdir COQINSTALLPREFIX=${destroot}