Revision: 75364 http://trac.macports.org/changeset/75364 Author: jmr@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