summaryrefslogtreecommitdiff
path: root/src/server/gf-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/gf-server.cabal
parent934a5fc120d2fa0b21bc7bb7c44fcb922000ba9e (diff)
Rename PGF Server cabal packages to pgf-server (was gf-server).
Diffstat (limited to 'src/server/gf-server.cabal')
-rw-r--r--src/server/gf-server.cabal26
1 files changed, 0 insertions, 26 deletions
diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal
deleted file mode 100644
index f2aea6905..000000000
--- a/src/server/gf-server.cabal
+++ /dev/null
@@ -1,26 +0,0 @@
-name: gf-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