Modified: trunk/dports/lang/coq/Portfile (75363 => 75364)
--- 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 (75363 => 75364)
--- 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