[123031] trunk/dports/lang/coq/Portfile
khindenburg at macports.org
khindenburg at macports.org
Sun Aug 3 17:29:09 PDT 2014
Revision: 123031
https://trac.macports.org/changeset/123031
Author: khindenburg at macports.org
Date: 2014-08-03 17:29:09 -0700 (Sun, 03 Aug 2014)
Log Message:
-----------
coq: for +doc add needed dep #42121
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2014-08-04 00:14:49 UTC (rev 123030)
+++ trunk/dports/lang/coq/Portfile 2014-08-04 00:29:09 UTC (rev 123031)
@@ -48,7 +48,8 @@
variant doc description {Build documentation} {
depends_build-append port:hevea \
port:netpbm \
- port:texlive
+ port:texlive \
+ port:texlive-latex-extra
configure.args-delete -with-doc no
configure.args-append -with-doc yes
use_parallel_build no
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140803/4b9bde4c/attachment.html>
More information about the macports-changes
mailing list