SRC_HC_OPTS = -H32m -O0 $(MyWarningOpts)
GhcHcOpts = -Rghc-timing -DDEBUG
-GhcLibHcOpts = -dcore-lint $(MyWarningOpts) -keep-hc-files
+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