From 1f2151278691540edde18843cdf7ce23697889ba Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 1 Mar 2004 13:44:10 +0000 Subject: [PATCH] [project @ 2004-03-01 13:44:10 by simonmar] add a few RTS ways (combinations) I missed out --- mk/config.mk.in | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/mk/config.mk.in b/mk/config.mk.in index 776703f..8daeff4 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -288,8 +288,8 @@ endif # thr_p : threaded profiled # debug : debugging (compile with -g for the C compiler, and -DDEBUG) # debug_p : debugging profiled -# debug_thr : debugging threaded -# debug_thr_p : debugging threaded profiled +# thr_debug : debugging threaded +# thr_debug_p : debugging threaded profiled # ifeq "$(BootingFromHc)" "YES" GhcRTSWays= @@ -1062,6 +1062,14 @@ WAY_debug_HC_OPTS=-optc-DDEBUG WAY_debug_p_NAME=debug profiled WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof +# Way 'thr_debug': +WAY_thr_debug_NAME=threaded +WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG + +# Way 'thr_debug_p': +WAY_thr_debug_p_NAME=threaded +WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof + # # Add user-way configurations here: # -- 1.7.10.4