diff options
| author | hallgren <hallgren@chalmers.se> | 2014-01-31 16:11:41 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-01-31 16:11:41 +0000 |
| commit | dbd68b987e45026319545069c4be549d4f3daeac (patch) | |
| tree | bd4ee227ada6ccc28e53ba7bb887f648d0e3c8b9 /src/server | |
| parent | e6ab8c4aa40cd7901995e9c4967ae5a088c80ab5 (diff) | |
gf-server.cabal: flag to include C run-time support in the FastCGI PGF service
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/gf-server.cabal | 9 |
1 files changed, 8 insertions, 1 deletions
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 |