configure problems

I'm trying to build a recent cvs checkout of
glass.cse.ogi.edu:/cvs/fptools. First, I get the following error:

checking for happy... /usr/bin/happy
checking for version of happy... 1.14
configure: error: Happy version 1.15 or later is required to compile GHC.

But the newest version of happy in Debian unstable is 1.14. Is 1.15
really required?

Then when I change ./configure to only require 1.14 (since I'm just
building documentation, I think maybe it isn't necessary) I see:

checking for .subsections_via_symbols... configure: creating ./config.status
config.status: creating mk/config.mk
config.status: creating mk/config.h
config.status: error: cannot find input file: mk/config.h.in

I'm not sure if there was a problem with cvs, or what, but cvs up -dA
mk/ doesn't help...

Thanks,

Frederik

-- 
http://ofb.net/~frederik/