[96032] trunk/dports/lang/coq/Portfile
mww at macports.org
mww at macports.org
Sun Jul 29 05:55:55 PDT 2012
Revision: 96032
https://trac.macports.org/changeset/96032
Author: mww at 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}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20120729/28b45cb0/attachment.html>
More information about the macports-changes
mailing list