tpdb-2.2.2: tpdb.cabal

Cabal-Version: 3.0

Name: tpdb
Version: 2.2.2

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

License: GPL-3.0-only

Build-Type: Simple

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

tested-with: GHC == 9.0.1 , GHC == 8.10.4 , GHC == 8.8.4
             , GHC == 8.6.5 , GHC == 8.4.4
             , GHC == 8.2.2 , GHC == 8.0.2 , GHC == 7.10.3
          
Extra-Source-Files:
   test/*.xml, test/*.trs ,  test/*.srs, test/*.cpf

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

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
  default-language: Haskell2010
  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
  default-language: Haskell2010

Executable srs2trs
  build-depends: base==4.*, tpdb, bytestring
  main-is: srs2trs.hs
  default-language: Haskell2010

-- 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 
  default-language: Haskell2010

Test-Suite XML_relative
  Build-Depends: base==4.*, tpdb
  Type: exitcode-stdio-1.0
  main-is: read_print_xml_relative.hs
  hs-source-dirs: test 
  default-language: Haskell2010

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

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 
  default-language: Haskell2010

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

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 
  default-language: Haskell2010
                  
Test-Suite Attributes
  Build-Depends: base==4.*, tpdb, text, pretty
  Type: exitcode-stdio-1.0
  main-is: attributes.hs
  hs-source-dirs: test 
  default-language: Haskell2010

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 
  default-language: Haskell2010

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

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

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

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

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