tpdb-2.1.0: tpdb.cabal

Name: tpdb
Version: 2.1.0
Author: Alexander Bau, Johannes Waldmann
Maintainer: Johannes Waldmann
Category: Logic
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

Homepage: https://github.com/jwaldmann/haskell-tpdb

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.*,  prettyprinter, text, mtl,
    xml-hamlet, xml-conduit, data-default,
    parsec, time, containers, filepath, hashable, bytestring, exceptions
  Hs-Source-Dirs: src
  Exposed-Modules:
    TPDB.Data,     TPDB.Data.Term, TPDB.Data.Rule, TPDB.Data.Attributes, TPDB.Data.Xml
    -- TPDB.Compress, 
    TPDB.Convert, TPDB.Input, TPDB.Input.File, TPDB.Input.Memory
    TPDB.Mirror
    TPDB.DP, TPDB.DP.Graph, TPDB.DP.Transform, TPDB.DP.Unify, TPDB.DP.Usable,  TPDB.DP.TCap,
    TPDB.Pretty, TPDB.Plain.Write,     TPDB.Plain.Read,
    TPDB.XTC,  TPDB.XTC.Read, TPDB.XTC.Write, TPDB.Xml, 
    TPDB.CPF.Proof.Write,  TPDB.CPF.Proof.Read,  
    TPDB.CPF.Proof.Xml,  
    TPDB.CPF.Proof.Type, TPDB.CPF.Proof.Util

Executable plain2xtc
  build-depends: base==4.*, tpdb, bytestring
  main-is: plain2xtc.hs

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

Test-Suite XML
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_print_xml.hs
  hs-source-dirs: test 

Test-Suite TRS
  Build-Depends: base==4.*, tpdb, text
  Type: exitcode-stdio-1.0
  main-is: read_print_trs.hs
  hs-source-dirs: test 

Test-Suite TRS_02
  Build-Depends: base==4.*, tpdb, text
  Type: exitcode-stdio-1.0
  main-is: read_print_trs_2.hs
  hs-source-dirs: test 

Test-Suite SRS
  Build-Depends: base==4.*, tpdb, text
  Type: exitcode-stdio-1.0
  main-is: read_print_srs.hs
  hs-source-dirs: test 

Test-Suite Speed
  Buildable: False
  Build-Depends: base==4.*, tpdb, text, pretty
  Type: exitcode-stdio-1.0
  main-is: speed.hs
  hs-source-dirs: test 
                  
Test-Suite Attributes
  Build-Depends: base==4.*, tpdb, text, pretty
  Type: exitcode-stdio-1.0
  main-is: attributes.hs
  hs-source-dirs: test 

Test-Suite XML-Theory
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_print_xml_theory.hs
  hs-source-dirs: test 

Test-Suite CPF-AC
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_cpf.hs
  hs-source-dirs: test 

Test-Suite Parse-AC
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: parse_ac.hs
  hs-source-dirs: test 

Test-Suite read-cpf
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_cpf.hs
  hs-source-dirs: test 

Test-Suite read-complex
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_complex.hs
  hs-source-dirs: test 

Test-Suite read-large
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_large.hs
  hs-source-dirs: test