mosg.cabal

name: mosg
version: 1.0
cabal-version: >= 1.2
build-type: Simple
license: GPL
license-file: LICENSE
synopsis: First-order logic reasoning in natural language.

executable semantics.fcgi
  build-depends: base,
                 old-time,
                 directory,
                 containers,
                 pretty,
                 unix,
                 cgi >= 3001.1.7.0,
                 fastcgi >= 3001.0.2.1,
                 json >= 0.3.3,
                 utf8-string >= 0.3.1.1,
                 gf >= 3.0
  main-is: SemanticsService.hs
  other-modules:
    Inter
    FOL
    FastCGIUtils
    Syntax
    Input
    Sem
  ghc-options: -threaded

executable reasoning.fcgi
  build-depends: base,
                 old-time,
                 directory,
                 containers,
                 unix,
                 cgi >= 3001.1.7.0,
                 fastcgi >= 3001.0.2.1,
                 json >= 0.3.3,
                 utf8-string >= 0.3.1.1,
                 gf >= 3.0,
                 folkung
  main-is: SemanticsService.hs
  other-modules:
    FOL
    FastCGIUtils
    ReasonFolkung
  ghc-options: -threaded