From 498466f8b25f6a14986f10ffdeb57d8377d79b57 Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 5 Dec 2008 19:10:51 +0000 Subject: Rename PGF Server cabal packages to pgf-server (was gf-server). --- src/server/gf-server.cabal | 26 -------------------------- src/server/pgf-server.cabal | 26 ++++++++++++++++++++++++++ 2 files changed, 26 insertions(+), 26 deletions(-) delete mode 100644 src/server/gf-server.cabal create mode 100644 src/server/pgf-server.cabal (limited to 'src/server') 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 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 -- cgit v1.2.3