diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-08-29 09:47:27 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-08-29 09:47:27 +0000 |
| commit | a5288c551349a0adab0d931a429b10a096d9444d (patch) | |
| tree | 245dd2dfd2b4e23f3fc8ae474b709289b60e5f15 /mk | |
| parent | c51229b2bfd3b1a61d3966db894210ef848f0a6d (diff) | |
| download | haskell-a5288c551349a0adab0d931a429b10a096d9444d.tar.gz | |
Unify event logging and debug tracing.
- tracing facilities are now enabled with -DTRACING, and -DDEBUG
additionally enables debug-tracing. -DEVENTLOG has been
removed.
- -debug now implies -eventlog
- events can be printed to stderr instead of being sent to the
binary .eventlog file by adding +RTS -v (which is implied by the
+RTS -Dx options).
- -Dx debug messages can be sent to the binary .eventlog file
by adding +RTS -l. This should help debugging by reducing
the impact of debug tracing on execution time.
- Various debug messages that duplicated the information in events
have been removed.
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 59 |
1 files changed, 1 insertions, 58 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index a516e6da77..e1d79cfcf4 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -241,7 +241,6 @@ endif # debug_t : debugging ticky-ticky profiling # l : event logging # thr_l : threaded and event logging -# thr_debug_l : threaded and debugging and event logging # GhcRTSWays=l @@ -775,8 +774,7 @@ endif # # The ways currently defined. # -ALL_WAYS=v p t l s mp mg debug dyn thr thr_l debug_dyn thr_dyn thr_debug_dyn thr_p thr_debug thr_debug_l debug_p thr_debug_p -USER_WAYS=a b c d e f g h j k l m n o A B +ALL_WAYS=v p t l s mp mg debug dyn thr thr_l debug_dyn thr_dyn thr_debug_dyn thr_p thr_debug debug_p thr_debug_p # # The following ways currently have treated specially, p t mg, @@ -846,10 +844,6 @@ WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG WAY_thr_debug_p_NAME=threaded debug profiling WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof -# Way 'thr_debug_l': -WAY_thr_debug_l_NAME=threaded debug event logging -WAY_thr_debug_l_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -eventlog - # Way 'dyn': build dynamic shared libraries WAY_dyn_NAME=dyn WAY_dyn_HC_OPTS=-fPIC -dynamic @@ -866,57 +860,6 @@ WAY_thr_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS -optc-DDEBUG WAY_debug_dyn_NAME=thr_dyn WAY_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DDEBUG -# -# Add user-way configurations here: -# -WAY_A_NAME= -WAY_A_HC_OPTS= - -WAY_B_NAME= -WAY_B_HC_OPTS= - -WAY_a_NAME= -WAY_a_HC_OPTS= - -WAY_b_NAME= -WAY_b_HC_OPTS= - -WAY_c_NAME= -WAY_c_HC_OPTS= - -WAY_d_NAME= -WAY_d_HC_OPTS= - -WAY_e_NAME= -WAY_e_HC_OPTS= - -WAY_f_NAME= -WAY_f_HC_OPTS= - -WAY_g_NAME= -WAY_g_HC_OPTS= - -WAY_h_NAME= -WAY_h_HC_OPTS= - -WAY_j_NAME= -WAY_j_HC_OPTS= - -WAY_k_NAME= -WAY_k_HC_OPTS= - -WAY_l_NAME= -WAY_l_HC_OPTS= - -WAY_m_NAME= -WAY_m_HC_OPTS= - -WAY_n_NAME= -WAY_n_HC_OPTS= - -WAY_o_NAME= -WAY_o_HC_OPTS= - ################################################################################ # # 31-bit-Int Core files |