[96032] trunk/dports/lang/coq/Portfile

[mww at macports.org]

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>