# 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=
# Include the front panel code? Needs GTK+.
GhcRtsWithFrontPanel = NO
-# DEPRECATED:
-# This option is no longer used. We now always build the threaded RTS,
-# add the flag '-threaded' to GHC to get it.
-GhcRtsThreaded=@ThreadedRts@
-
################################################################################
#
# libraries project
# X11 stuff
#
+GhcLibsWithX11=@GhcLibsWithX11@
X_CFLAGS=@X_CFLAGS@
X_LIBS=@X_LIBS@
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:
#