Cygwin cross compiler

[Stephen Weeks]

> > Sorry for the stupid question.  Do you have gmp installed?
> 
> Nope - not that I know of (I can't find it at least). But I can
> just install the one in the distribution (I guess that would
> be most appropriate) :)

Sure.  Or however you would normally install a debian package.  Gmp
version 3 or 4 should do.

Out of curiousity, what was the exact error message and what program
generated it?  I might want to add something to the docs.