[127095] trunk/dports/lang/coq

[larryv at macports.org]

Revision: 127095
          https://trac.macports.org/changeset/127095
Author:   larryv at macports.org
Date:     2014-10-20 18:13:21 -0700 (Mon, 20 Oct 2014)
Log Message:
-----------
coq: Fix build with OCaml 4.02 (#45508)

OCaml 4.02 requires comments to be syntactically correct (???).

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Added Paths:
-----------
    trunk/dports/lang/coq/files/
    trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2014-10-21 00:12:52 UTC (rev 127094)
+++ trunk/dports/lang/coq/Portfile	2014-10-21 01:13:21 UTC (rev 127095)
@@ -5,6 +5,7 @@
 
 name                coq
 version             8.4pl4
+revision            1
 platforms           darwin
 categories          lang math
 license             LGPL-2.1
@@ -24,6 +25,8 @@
 checksums           rmd160  19e3fe905f5db09710b1f862f21e9b57c28f9704 \
                     sha256  06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01
 
+patchfiles          patch-kernel-univ.ml.diff
+
 configure.pre_args  -prefix ${prefix}
 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
                     -mandir ${prefix}/share/man \

Added: trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff
===================================================================
--- trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff	                        (rev 0)
+++ trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff	2014-10-21 01:13:21 UTC (rev 127095)
@@ -0,0 +1,11 @@
+--- kernel/univ.ml.orig	2014-10-20 20:52:41.000000000 -0400
++++ kernel/univ.ml	2014-10-20 20:52:57.000000000 -0400
+@@ -226,7 +226,7 @@
+ 
+ 
+ (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *)
+-(* between u v = {w|u<=w<=v, w canonical}          *)
++(* between u v = { w | u<=w<=v, w canonical}          *)
+ (* between is the most costly operation *)
+ 
+ let between g arcu arcv =
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20141020/0e9776a4/attachment.html>