projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2004-03-01 13:44:10 by simonmar]
[ghc-hetmet.git]
/
mk
/
config.mk.in
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:
#