[75364] trunk/dports/lang/coq

[jmr at macports.org]

Revision: 75364
          http://trac.macports.org/changeset/75364
Author:   jmr at macports.org
Date:     2011-01-23 06:55:35 -0800 (Sun, 23 Jan 2011)
Log Message:
-----------
coq: disable parallel build with doc variant (#22182)

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

Removed Paths:
-------------
    trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2011-01-23 14:41:53 UTC (rev 75363)
+++ trunk/dports/lang/coq/Portfile	2011-01-23 14:55:35 UTC (rev 75364)
@@ -33,8 +33,7 @@
 build.target       world 
 destroot.target    install 
 destroot.destdir   COQINSTALLPREFIX=${destroot}
-patchfiles         patch-doc-tools-latex_filter.diff \
-                   patch-tools-coq_makefile.ml4.diff
+patchfiles         patch-tools-coq_makefile.ml4.diff
 
 livecheck.type	regex
 livecheck.url	${homepage}/download/
@@ -52,6 +51,7 @@
                                        port:netpbm
                   configure.args-delete -with-doc no
                   configure.args-append -with-doc yes
+                  use_parallel_build no
 }
 
 variant coqide description {Install CoqIDE} {

Deleted: trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff
===================================================================
--- trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff	2011-01-23 14:41:53 UTC (rev 75363)
+++ trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff	2011-01-23 14:55:35 UTC (rev 75364)
@@ -1,13 +0,0 @@
---- doc/tools/latex_filter.orig	2009-09-16 12:20:36.000000000 +0900
-+++ doc/tools/latex_filter	2009-09-16 12:22:27.000000000 +0900
-@@ -12,6 +12,10 @@
- while : ; do 
-   read -r line; 
-   case $line in
-+    "! pdfTeX warning (dest)"*)
-+      verbose=0
-+      echo $line $chapter;
-+      ;;
-     "! "*)
-       echo $line $file;
-       error=1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110123/2efb75b2/attachment.html>