Simon Marlow wrote:
>
> > 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.
The only thing that bothers me is the asymmetry.
