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