Simon Marlow <[EMAIL PROTECTED]> 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.
I think, we already discussed this a while ago. One
argument for configure script options is that they allow
cleaner rpm .spec files. I remember that you (SimonM) told
me to go ahead and extend the configure script appropriately
(maintaining compatibility with the build.mk stuff, of
course). I didn't do that yet, because of my move to
Sydney, but still plan to do it. Hope this is ok and will
solve the mentioned asymmetry.
Manuel
