> Why doesn't the configure script have a
> --with-happy
> option? There are --with-gcc and --with-hc to tell configure
> where to find
> gcc and GHC.
It's kind of a policy decision: build.mk is the appropriate place for
setting such things at the moment. There are good arguments in favour of
both approaches, but I certainly don't want to duplicate everything that's
in config.mk as options in configure.
But if it would make your life considerably easier (unlikely to be easier
than 'echo "HAPPY=my-happy" >>mk/build.mk', however), we could add
--with-happy.
Cheers,
Simon
