+# Strip local symbols from libraries? This can make the libraries smaller,
+# but makes debugging somewhat more difficult. Doesn't work with all ld's.
+#
+StripLibraries=NO
+
+
+# ----------------------------------------------------------------------------
+# Object-file splitting
+#
+# Set SplitObjs=YES or NO in your build.mk
+#
+# Don't use -split-objs in in GhcLibHcOpts, because the build
+# system needs to do other special magic if you are
+# doing object-file splitting
+