Delete options for building the debugging RTS; it is now built by default.
GhcLibHcOpts = -O -dcore-lint $(MyWarningOpts) -keep-hc-files
GhcLibWays =
GhcLibHcOpts = -O -dcore-lint $(MyWarningOpts) -keep-hc-files
GhcLibWays =
-# Debugging RTS
-GhcRtsHcOpts = -optc-DDEBUG
-GhcRtsCcOpts = -g
-SRC_HC_OPTS += -lbfd -liberty
-
# profiled RTS
#GhcRtsCcOpts = -pg -g
# profiled RTS
#GhcRtsCcOpts = -pg -g