From dbd68b987e45026319545069c4be549d4f3daeac Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 31 Jan 2014 16:11:41 +0000
Subject: [PATCH] gf-server.cabal: flag to include C run-time support in the
 FastCGI PGF service

---
 src/server/gf-server.cabal | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal
index 50a778aec..98ab8e9ef 100644
--- a/src/server/gf-server.cabal
+++ b/src/server/gf-server.cabal
@@ -16,6 +16,10 @@ flag http
   Description: Build pgf-http (deprecated, replaced by gf -server)
   Default: False
 
+flag c-runtime
+  Description: Include functionality from the C run-time library (which must be installed already)
+  Default:     False
+
 Library
   exposed-modules: PGFService FastCGIUtils ServeStaticFile RunHTTP
   other-modules: Cache URLEncoding Fold
@@ -27,7 +31,7 @@ Library
                    filepath,
                    containers,
                    process,
-                   gf >= 3.1,
+                   gf >= 3.5.12,
                    cgi >= 3001.1.7.3,
                    httpd-shed,
                    mtl,
@@ -42,6 +46,9 @@ Library
   else
     build-depends: unix
 
+  if flag(c-runtime)
+    cpp-options: -DC_RUNTIME
+
 executable pgf-http
   main-is: pgf-http.hs
   Hs-source-dirs: exec