1 files changed, 0 insertions, 29 deletions
diff --git a/src/server/pgf-server.cabal b/src/server/pgf-server.cabal
deleted file mode 100644
index 076a198b1..000000000
--- a/src/server/pgf-server.cabal
+++ /dev/null
@@ -1,29 +0,0 @@
-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-server
-  build-depends: base,
-                 old-time,
-                 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
-  if !os(windows)
-    build-depends: unix
-  main-is: PGFService.hs
-  other-modules:
-    FastCGIUtils
-    Cache
-    URLEncoding
-  ghc-options: -threaded
-  if os(windows)
-    ghc-options: -optl-mwindows