Ignore:
Timestamp:
Sep 24, 2009, 4:23:16 PM (8 years ago)
Author:
ryandesign@…
Message:

coq: fix dependencies in variants so they don't override other dependencies

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/lang/coq/Portfile

    r58218 r58228  
    55name        coq
    66version     8.2pl1
     7revision    1
    78platforms   darwin
    89categories  lang math
     
    4243
    4344variant doc description {Build documentation} {
    44                   depends_build port:texlive
    45                   depends_build port:hevea
    46                   depends_build port:netpbm
     45                  depends_build-append port:texlive \
     46                                       port:hevea \
     47                                      port:netpbm
    4748                  configure.args-delete -with-doc no
    4849                  configure.args-append -with-doc yes
     
    5051
    5152variant coqide description {Install CoqIDE} {
    52                   depends_lib port:lablgtk2
     53                  depends_lib-append port:lablgtk2
    5354                  configure.args-delete -coqide none
    5455                  configure.args-append -coqide opt
Note: See TracChangeset for help on using the changeset viewer.