Cabal compiling with profiling

[Simon Marlow]

On 19 April 2005 03:25, Isaac Jones wrote:

> I have a patch from Arthur Baars to build profiling libraries for GHC.
> I'm wondering how people think it should be integrated?  Should we
> have a --prof option that JUST builds profiling libraries, or which
> builds both non profiling and profiling?  I know that the makefile
> system has some "ways" that I think are related to profiling.  Should
> we have something more flexible, or is --prof or --with-prof flexible
> enough?

--with-prof sounds good, which would build (and install etc.) the prof
way in addition to the normal way.

In the future we might need more of these (eg. --with-smp), but since
each one needs a different flag to GHC I don't think there's anything
more general we can reasonably do.

Cheers,
	Simon