[58228] trunk/dports/lang/coq/Portfile
ryandesign at macports.org
ryandesign at macports.org
Thu Sep 24 09:23:20 PDT 2009
Revision: 58228
http://trac.macports.org/changeset/58228
Author: ryandesign at macports.org
Date: 2009-09-24 09:23:16 -0700 (Thu, 24 Sep 2009)
Log Message:
-----------
coq: fix dependencies in variants so they don't override other dependencies
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2009-09-24 15:53:47 UTC (rev 58227)
+++ trunk/dports/lang/coq/Portfile 2009-09-24 16:23:16 UTC (rev 58228)
@@ -4,6 +4,7 @@
name coq
version 8.2pl1
+revision 1
platforms darwin
categories lang math
maintainers loria.fr:reilles
@@ -41,15 +42,15 @@
}
variant doc description {Build documentation} {
- depends_build port:texlive
- depends_build port:hevea
- depends_build port:netpbm
+ depends_build-append port:texlive \
+ port:hevea \
+ port:netpbm
configure.args-delete -with-doc no
configure.args-append -with-doc yes
}
variant coqide description {Install CoqIDE} {
- depends_lib port:lablgtk2
+ depends_lib-append port:lablgtk2
configure.args-delete -coqide none
configure.args-append -coqide opt
}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090924/a3087f13/attachment.html>
More information about the macports-changes
mailing list