[project @ 1998-05-27 11:58:56 by simonm]

[ghc-hetmet.git] / mk / config.mk.in

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 14195e9..fe081e9 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -169,9 +169,6 @@ GhcProjectPatchLevel   = 0
 
 WithGhcHc = ghc-2.10
 
-# Unused, we think
-# WithGhcHcType=HC_GLASGOW_GHC
-
 # Extra ways in which to build the compiler (for example, you might want to
 # build a profiled compiler so you can see where it spends its time)
 GhcCompilerWays=
@@ -242,25 +239,11 @@ endif
 #      -O is pretty desirable, otherwise no inlining of prelude
 #              things (incl "+") happens when compiling with this compiler
 
-#
-# Splitting profiled code produces awfully large archives under ELF, so
-# we turn it off here.
-#
-# ToDo: track down the source of this.
-#
-ifeq "$(strip $(way))" "p"
-GhcLibHcOpts= -O
-else 
-ifeq "$(strip $(way))" "mr"
-GhcLibHcOpts= -O
-else
 ifeq "$(GhcWithHscBuiltViaC)" "YES"
 GhcLibHcOpts=-O
 else
 GhcLibHcOpts=-O -split-objs -odir $*
 endif
-endif
-endif
 
 # Build the Haskell Readline bindings?
 #
@@ -275,6 +258,11 @@ ReadlineIncludePath=
 #
 GhcLibsWithSockets=YES
 
+# 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
+
 # what to include in a binary distribution
 
 GhcMainDir = ghc