Name:                HTab
Version:             1.5.4
Synopsis:            Tableau based theorem prover for hybrid logics
Description:         Tableau based theorem prover for hybrid logics
Homepage:            http://www.glyc.dc.uba.ar/intohylo/htab.php
Bug-reports:         http://code.google.com/p/intohylo/
Category:            Theorem provers
License:             GPL
License-file:        COPYING
Author:              Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
Maintainer:          guillaume.hoffmann@loria.fr
Cabal-version:       >= 1.6.0
Build-type:          Simple

Data-files:  NEWS
             examples/*.sh
             examples/sat/*.frm
             examples/sat_no_mod/*.frm
             examples/unsat/*.frm

Extra-source-files:  tests/test-example-formulas.hs
                     tests/coverage.sh

Flag static
  Description: Build a static binary
  Default:     False

Executable          htab
  Main-is:             htab.hs
  Other-modules:       HTab.Base
                       HTab.Branch
                       HTab.CommandLine
                       HTab.DisjSet
                       HTab.DMap
                       HTab.Formula
                       HTab.Main
                       HTab.ModelGen
                       HTab.Relations
                       HTab.RuleId
                       HTab.Rules
                       HTab.Statistics
                       HTab.Tableau
  Build-Depends:       base >= 4, base < 5,
                       mtl >= 1, mtl < 2,
                       containers < 1,
                       filepath > 1, filepath <= 2,
                       directory > 1, directory <= 2,
                       deepseq >= 1, deepseq <2,
                       strict < 1,
                       cmdargs == 0.5,
                       hylolib >= 1.3, hylolib < 1.4
  Extensions:          GADTs
                       DeriveDataTypeable
                       FlexibleContexts
                       Rank2Types
                       ScopedTypeVariables
  Hs-Source-Dirs:      src
  ghc-options:         -O2 -Wall
  ghc-prof-options:    -auto-all

  if flag(static)
    ghc-options: -static -optl-static -optl-pthread