summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2014-08-25 23:30:22 +0000
committerhallgren <hallgren@chalmers.se>2014-08-25 23:30:22 +0000
commit883d1ae21ced142ac02c9d9defad91fea4850165 (patch)
tree31fe2a90f2ab652334d84a03bc9e3ad57a8a4f4c
parentfdf7d06f9a77b7dc3faf94113ac69660a84d9cda (diff)
gf.cabal ghc-options: don't force -j, -auto-all has been renamed to -fprof-auto
-rw-r--r--gf.cabal6
1 files changed, 3 insertions, 3 deletions
diff --git a/gf.cabal b/gf.cabal
index a843f2f80..c254c9894 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -90,8 +90,8 @@ Library
ghc-options: -fwarn-unused-imports
if impl(ghc>=7.8)
- ghc-options: -j +RTS -A20M -RTS
- ghc-prof-options: -auto-all
+ ghc-options: +RTS -A20M -RTS
+ ghc-prof-options: -fprof-auto
extensions:
exposed-modules:
@@ -170,7 +170,7 @@ Executable gf
if impl(ghc>=7.8)
build-tools: happy>=1.19, alex>=3.1
- ghc-options: -j +RTS -A20M -RTS
+ ghc-options: +RTS -A20M -RTS
else
build-tools: happy, alex>=3