diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-04 16:26:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-04 16:26:52 +0000 |
| commit | f2a968b6d53ac07df67f393bd06c38f368d08c02 (patch) | |
| tree | 6cf785bcb1807de93f10452b11b0dd306157ec70 /src/server/pgf-server.cabal | |
| parent | 6a263f05aa8d963f7141aca8b7ee0cae0c063515 (diff) | |
the morpho server is now updated and works with the current GF. the sources are moved in directory server
Diffstat (limited to 'src/server/pgf-server.cabal')
| -rw-r--r-- | src/server/pgf-server.cabal | 29 |
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 |