Commit 5ae42c5e authored by Simon Marlow's avatar Simon Marlow

only add -fno-ghci-history if GHC >= 7.3

parent fd5a3454
......@@ -7,7 +7,7 @@ import re
#
config.compiler_type = 'ghc'
config.compiler = 'ghc'
config.compiler_always_flags = ['-fforce-recomp', '-dcore-lint', '-dcmm-lint', '-dno-debug-output', '-no-user-package-conf', '-rtsopts', '-fno-ghci-history']
config.compiler_always_flags = ['-fforce-recomp', '-dcore-lint', '-dcmm-lint', '-dno-debug-output', '-no-user-package-conf', '-rtsopts']
config.hp2ps = 'hp2ps'
config.hpc = 'hpc'
......@@ -142,6 +142,11 @@ def get_compiler_info():
config.compiler_maj_version = re.sub('^([0-9]+\.[0-9]+).*',r'\1', v[0])
config.compiler_tags = v[1:]
# -fno-ghci-history was added in 7.3
if version_ge(config.compiler_version, '7.3'):
config.compiler_always_flags = \
config.compiler_always_flags + ['-fno-ghci-history']
if re.match(".*_p(_.*|$)", rtsInfoDict["RTS way"]):
config.compiler_profiled = True
config.run_ways = filter(lambda x: x != 'ghci', config.run_ways)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment