summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-06-21 15:45:13 +0000
committerhallgren <hallgren@chalmers.se>2011-06-21 15:45:13 +0000
commit549cc324d7f6703c497433e85280e558bd1258b3 (patch)
treed7923268117e5edaa0a869ca76f5651e52db8567 /src
parent739e4caef3fe53760db4d4adb2d7ee45127d492e (diff)
gf-server: enable -rtsopts when compiling with ghc>=7.0
Diffstat (limited to 'src')
-rw-r--r--src/server/gf-server.cabal4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal
index dc27e0fca..f79f81f72 100644
--- a/src/server/gf-server.cabal
+++ b/src/server/gf-server.cabal
@@ -19,6 +19,8 @@ executable pgf-http
other-modules: PGFService FastCGIUtils Cache URLEncoding
RunHTTP ServeStaticFile
ghc-options: -threaded
+ if impl(ghc>=7.0)
+ ghc-options: -rtsopts
build-depends: base >=4.2 && <5,
old-time,
@@ -44,6 +46,8 @@ executable pgf-service
main-is: pgf-fcgi.hs
other-modules: PGFService FastCGIUtils Cache URLEncoding
ghc-options: -threaded
+ if impl(ghc>=7.0)
+ ghc-options: -rtsopts
if flag(fastcgi)
build-depends: fastcgi >= 3001.0.2.2