[58218] trunk/dports/lang/coq

[Ryan Schmidt]

On Sep 24, 2009, at 05:40, jann at macports.org wrote:

> Revision: 58218
>          http://trac.macports.org/changeset/58218
> Author:   jann at macports.org
> Date:     2009-09-24 03:40:54 -0700 (Thu, 24 Sep 2009)
> Log Message:
> -----------
> Version update from ticket #21415
>
> Modified Paths:
> --------------
>    trunk/dports/lang/coq/Portfile


> depends_lib        bin:ocamlc:ocaml port:camlp5


> +variant doc description {Build documentation} {
> +                  depends_build port:texlive
> +                  depends_build port:hevea
> +                  depends_build port:netpbm

These depends_build's overwrite each other, leaving you with just  
netpbm as a build dependency, which is probably not what you wanted.

> +variant coqide description {Install CoqIDE} {
> +                  depends_lib port:lablgtk2

This overwrites the port's global depends_lib, deleting the  
dependencies on ocaml and camlp5, which is probably not what you wanted.


I fixed both problems in r58228.