-# Include compiler support for letting the compiler (optionally) report
-# your compilation to a central server for generation of fun stats.
+# ----------------------------------------------------------------------------
+# Options for GHC's RTS
+
+# This is a good way to set things like -optc-g and -optc-DDEBUG for the RTS.
+# GhcRtsHcOpts is used when compiling .hc files and .c files.
+# GhcRtsCcOpts is used when compiling .c files only.
+
+# For a debugging RTS:
+# GhcRtsHcOpts = -optc-DDEBUG
+# GhcRtsCcOpts = -optc-g
+
+# For an optimised RTS:
+GhcRtsHcOpts=-O2
+GhcRtsCcOpts=-O2 -optc-fomit-frame-pointer
+
+################################################################################