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

[ecronin at macports.org]

Revision: 102359
          https://trac.macports.org/changeset/102359
Author:   ecronin at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20130131/89a8775f/attachment.html>