[darcs-devel] Bug in configure.ac

[David Roundy]

On Tue, Apr 15, 2008 at 11:09:32PM +0200, Lennart Kolmodin wrote:
> Hello!

Hello!  :)

> While writing the Gentoo ebuild for darcs-2.0.0 I've hit a bug.
> 
> It seems that when enabling the docs with --with-docs it would also
> enable the type witnesses.
> 
> ./configure --with-docs
> # yields checking for gadt type witnesses... yes
> 
> ./configure --without-docs
> # yields checking for gadt type witnesses... no
> 
> With the attached patch it behaves as expected, the use of type
> witnesses does not change.
> 
> I'll apply this patch to Gentoo.

Thanks for the patch! Applied.
-- 
David Roundy
Department of Physics
Oregon State University