[darcs-devel] Bug in configure.ac

[Lennart Kolmodin]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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.

Cheers,
~  Lennart Kolmodin
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFIBRmL4txYG4KUCuERAh8rAJ4oBvYMjwcyIqC56zUhoFNLmMkJqwCgtWxY
xowgYFuSduYEakJyqlroK6M=
=sVNF
-----END PGP SIGNATURE-----
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: type-witnesses.dpatch
Url: http://lists.osuosl.org/pipermail/darcs-devel/attachments/20080415/09b66f1d/attachment-0001.diff