summaryrefslogtreecommitdiff
path: root/src/server/pgf-server.cabal
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-12-05 19:10:51 +0000
committerbjorn <bjorn@bringert.net>2008-12-05 19:10:51 +0000
commit498466f8b25f6a14986f10ffdeb57d8377d79b57 (patch)
treea81d2ca374af6213642595cb1b9590ffcf579bf5 /src/server/pgf-server.cabal
parent934a5fc120d2fa0b21bc7bb7c44fcb922000ba9e (diff)
Rename PGF Server cabal packages to pgf-server (was gf-server).
Diffstat (limited to 'src/server/pgf-server.cabal')
-rw-r--r--src/server/pgf-server.cabal26
1 files changed, 26 insertions, 0 deletions
diff --git a/src/server/pgf-server.cabal b/src/server/pgf-server.cabal
new file mode 100644
index 000000000..f20d61a47
--- /dev/null
+++ b/src/server/pgf-server.cabal
@@ -0,0 +1,26 @@
+name: pgf-server
+version: 1.0
+cabal-version: >= 1.2
+build-type: Simple
+license: GPL
+license-file: LICENSE
+synopsis: FastCGI Server for Grammatical Framework
+
+executable pgf.fcgi
+ build-depends: base,
+ old-time,
+ unix,
+ directory,
+ filepath,
+ containers,
+ gf >= 3.0,
+ cgi >= 3001.1.7.0,
+ fastcgi >= 3001.0.2.1,
+ json >= 0.3.3,
+ utf8-string >= 0.3.1.1
+ main-is: PGFService.hs
+ other-modules:
+ FastCGIUtils
+ Cache
+ URLEncoding
+ ghc-options: -threaded