Name: tpdb
Version: 0.6.1
Author: Johannes Waldmann
Maintainer: Johannes Waldmann
Category: Science
License: GPL
License-file: LICENSE
Cabal-Version: >= 1.8
Synopsis: Data Type for Rewriting Systems


Description:
   The package defines data types and parsers for rewriting systems
   and termination proofs,
   as used in the Termination Competitions.
   For syntax and semantics specification, 
   see <http://www.termination-portal.org/wiki/TPDB>

Build-Type: Simple

Source-Repository head
  Type: git
  Location: git://github.com/jwaldmann/haskell-tpdb.git

-- Extra-Source-Files:
--   test/3.15.xml, test/33.trs ,  test/z001.srs

Library
  Build-Depends: base==4.*, hxt, pretty, parsec, time, containers, HaXml, filepath

  Exposed-Modules:
    TPDB.Data,     TPDB.Data.Term, TPDB.Data.Xml
    TPDB.Compress, TPDB.Convert, TPDB.Input
    TPDB.Mirror, TPDB.DP
    TPDB.Pretty, TPDB.Plain.Write,     TPDB.Plain.Read,
    TPDB.XTC,  TPDB.XTC.Read, TPDB.Xml, 
    TPDB.Rainbow.Proof.Xml,     TPDB.Rainbow.Proof.Type
    TPDB.CPF.Proof.Xml,     TPDB.CPF.Proof.Type

Executable Compressor
    Main-is: Compressor.hs
    Build-depends: base==4.*, containers >= 0.5, directory, pretty, hxt, parsec

Test-Suite XML
  Build-Depends: base==4.*, hxt, pretty, parsec, time, containers  >= 0.5, HaXml
  Type: exitcode-stdio-1.0
  main-is: read_print_xml.hs
  hs-source-dirs: test .

Test-Suite TRS
  Build-Depends: base==4.*, hxt, pretty, parsec, time, containers  >= 0.5, HaXml
  Type: exitcode-stdio-1.0
  main-is: read_print_trs.hs
  hs-source-dirs: test .

Test-Suite SRS
  Build-Depends: base==4.*, hxt, pretty, parsec, time, containers  >= 0.5, HaXml
  Type: exitcode-stdio-1.0
  main-is: read_print_srs.hs

  hs-source-dirs: test .