Name:            PTQ
Version:         0.0.4
License:         LGPL
License-File:    COPYING
Author:          Masahiro Sakai
Maintainer:      Masahiro Sakai <masahiro.sakai AT gmail.com>
Homepage:        http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?hsPTQ
Category:        Natural Language Processing
Build-Type:      Simple
Synopsis:        An implementation of Montague's PTQ.
Description:     An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple plain English sentences into formulas of intentional logic.
Cabal-Version:   >= 1.2.3
Stability:       experimental
Extra-Source-Files:
   README, COPYING
   src/Context.hs, src/MP.hs, src/PDict.hs, src/ParserTest.hs,
   misc/Test.hs, misc/Test2.agda, misc/Test3.hs
Data-Files: cgi/index.html, cgi/main.html

Flag UTF8Terminal
  Description: Use UTF-8 for terminal I/O
  Default: False

Flag UTF8CGI
  Description: Use UTF-8 for HTTP contents
  Default: True

Executable ptq
  Main-Is: Main.hs
  Hs-Source-Dirs: src
  Other-Modules:
     Expr
     P
     Translation
     Parser
     Report
  Extensions:
     EmptyDataDecls
     GADTs
     MultiParamTypeClasses
     TypeOperators
     TypeSynonymInstances
     GeneralizedNewtypeDeriving
  Build-Depends: base >=4 && <5, haskell98, mtl, containers
  if flag(UTF8Terminal)
    CPP-Options: "-DUSE_UTF8"
    Build-Depends: utf8-string

Executable ptq.cgi
  Main-Is: CGIMain.hs
  Hs-Source-Dirs: src
  Other-Modules:
     Expr
     P
     Translation
     Parser
     Report
     CGI
     URLEncoding
  Extensions:
     EmptyDataDecls
     GADTs
     MultiParamTypeClasses
     TypeOperators
     TypeSynonymInstances
     GeneralizedNewtypeDeriving
     CPP
  Build-Depends: base >=4 && <5, haskell98, mtl, containers, network
  if flag(UTF8CGI)
    CPP-Options: "-DUSE_UTF8"
    Build-Depends: utf8-string