[project @ 2004-03-01 13:44:10 by simonmar]

add a few RTS ways (combinations) I missed out

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 776703f..8daeff4 100644 (file)
--- 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
 #   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=
 #
 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_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:
 #
 #
 # Add user-way configurations here:
 #