Ticket #3254 (closed bug: wontfix)

Opened 4 years ago

Last modified 4 years ago

add a configure option to turn off profiling

Reported by: juhpetersen Owned by:
Priority: normal Milestone: 6.12.1
Component: Build System Version: 6.10.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

It is a bit tedious right now have to track GhcLibWays?, etc by hand to turn off building of prof libs, etc. It would be nice to have a simple configure option just to turn off profiling (eg --without-profiling) to do this.

Things might be slightly better with 6.11 but I think it probably applies there too.

Change History

Changed 4 years ago by simonmar

  • difficulty set to Unknown

We have to strike a balance between how much to make into configure options, and how much to leave as build.mk settings. Currently we leave most things in build.mk, because the danger is that when we start putting things into configure it's hard to know when to stop, and then we have two ways to configure lots of things, and a lot of extra m4 code to go wrong. Also, build.mk is persistent, whereas configure options have to be specified every time you run configure.

So I tend the to view that we shouldn't do this. What do others think?

Changed 4 years ago by igloo

  • milestone set to 6.12.1

I agree.

Changed 4 years ago by simonmar

  • status changed from new to closed
  • resolution set to wontfix
Note: See TracTickets for help on using tickets.