devel/monodevelop port don't compile right

[Xavier]

On Tue, May 21, 2013 at 09:54:08AM +0200, Romain Tartière wrote:

Hi Romain,

> Hi
>
> On Mon, May 20, 2013 at 12:35:53PM -0400, Xavier wrote:
> > I check and reinstall devel/mono-addins with:
> >
> > root at casa:/usr/ports/devel/mono-addins # make showconfig
> > ===> The following configuration options are available for
> > mono-addins-0.6.2:
> >      GTK2=on: GTK+ 2 GUI toolkit support
> > ===> Use 'make config' to modify these settings
> >
> > and get the same error when rebuild devel/monodevelop port.
> >
> > More ideas for look ?
>
> The port logic has been broken when switched to the new OPTION
> framework.  I have just committed a fix (r318653).  Please update your
> ports tree, reinstall devel/mono-addins (0.6.2_1) and the problem 
should
> be solved.
>

Ah, OK.

I followed your instructions and its WORK FINE.

Thanks for your diligence !

See you.