The Coq mailing list

[Edsko de Vries <devriese AT cs.tcd.ie>]

On Thu, Mar 08, 2007 at 06:21:02PM +0100, Pierre Letouzey wrote:
> On Thu, Mar 08, 2007 at 05:05:48PM +0000, Edsko de Vries wrote:
> > Hi,
> > 
> > When I try to compile coq 8.1 with the IDE enabled, I get the following
> > compilation error:
> 
> Hi
> 
> This looks like a small configure bug I've already encountered after
> the release of 8.1 and fixed in the svn version. With your 8.1, the
> bug can be easily bypassed without any patch: simply run ./configure
> again but this time **without** any flag concerning coqide (the
> -coqide flag is not mandatory anyway since the default behavior of
> ./configure is to compile coqide if it finds a suitable lablgtk2).

Yep, that did it. Thanks! I created a simple Debian package for Coq 8.1;
I don't know who is maintaining the "official" package, or how long it
takes for these things to propagate into Debian testing, but if that is
a slow process, perhaps it would be useful if I put that package up
somewhere?

Edsko