Hets.cabal revision 1c254536e35c90b187475eb9bb32a06bfbf6a9b4
name: Hets
version: 0.94
Description: The Heterogeneous Tool Set
homepage: http://www.dfki.de/sks/hets
bug-reports: http://trac.informatik.uni-bremen.de:8080/hets
License: LGPL
License-File: LICENSE.txt
Author:
2007 Cui Jian <ken@informatik.uni-bremen.de>
2007 Hendrik Iben <hiben@informatik.uni-bremen.de>
2007 Klaus Luettich <luettich@informatik.uni-bremen.de>
2007 Paolo Torrini <paolot@informatik.uni-bremen.de>
2007 Rainer Grabbe <rainer@informatik.uni-bremen.de>
2008 Andy Gimblett <a.m.gimblett@swansea.ac.uk>
2008 Heng Jiang <jiang@informatik.uni-bremen.de>
2008 Igor Stassiy <i.stassiy@jacobs-university.de>
2008 Mingyi Liu <xinga@informatik.uni-bremen.de>
2009 Christian.Maeder@dfki.de
2009 Dominik Luecke <luecke@informatik.uni-bremen.de>
2009 Ewaryst.Schulz@dfki.de
2009 Liam O'Reilly <csliam@swansea.ac.uk>
2009 Markus.Gross@dfki.de
2009 Mihai.Codescu@dfki.de
2009 Razvan Pascanu <r.pascanu@jacobs-university.de>
2009 Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>
2009 Till.Mossakowski@dfki.de
Maintainer: hets-devel@informatik.uni-bremen.de
Copyright: 2006-2009 DFKI GmbH Bremen, Uni Bremen
Stability: Experimental
build-type: Simple
Cabal-Version: >= 1.4
flag uniform
description: use HTk and uDrawGraph binding form the uniform workbench
flag programatica
description: use programatica for the haskell logic
installed via "make" within Hets if cvs sources are checked out
in the same parent directory as Hets
flag tabular
description: use truth table prover
flag tar
description: save VSE proofs in tar archives
flag unix
description: install signal handler for interrupting using Ctrl-C
flag haskeline
description: command line interface
flag hxtfilter
description: use old hxt-filter package for
- old OMDoc round-tripping
- HAIFA for MathServer and Vampire remote provers
HAIFA is based on syb-generics and both packages are
part of the Hets sources and installed via "make"
- PGIP xml interface
flag gtkglade
description: gtk and glade packages for a better user interface
Executable hets
Main-is: hets.hs
build-depends:
HTTP >= 4000.0.5
, array >= 0.1.0.0
, aterm >= 0.1.0.0
, base >= 4.0.0.0
, containers >= 0.1.0.1
, directory >= 1.0.0.0
, fgl >= 5.4.1.1
, filepath
, ghc-prim
, mtl >= 1.1.0.0
, network >= 2.1.0.0
, old-time >= 1.0.0.0
, parsec >= 2.1.0.0
, pretty >= 1.0.0.0
, process >= 1.0.0.0
, time >= 1.1.3 && <= 1.2
, xml >= 1.3 && <= 1.4
cpp-options: -DCASLEXTENSIONS -DTIME_WITH_TYPEABLE
extensions: OverlappingInstances
ghc-options: -fglasgow-exts
if flag(uniform)
build-depends:
uni-events
, uni-graphs >= 2.0 && <= 3.0
, uni-htk >= 2.0 && <= 3.0
, uni-posixutil
, uni-reactor
, uni-uDrawGraph >= 2.0 && <= 3.0
, uni-util >= 2.0 && <= 3.0
cpp-options: -DUNI_PACKAGE
if flag(programatica)
build-depends: programatica == 1.0
cpp-options: -DPROGRAMATICA
if flag(tabular)
build-depends: tabular >= 0.1 && <= 0.2
cpp-options: -DTABULAR_PACKAGE
if flag(tar)
build-depends: tar >= 0.3 && <= 0.4
cpp-options: -DTAR_PACKAGE
if flag(unix)
build-depends: unix >= 2.3.0.0
cpp-options: -DUNIX
if flag(haskeline)
build-depends:
haskeline >= 0.6 && < 0.7
cpp-options: -DHASKELINE
if flag(hxtfilter)
build-depends:
hxt-filter >= 8.0.0
cpp-options: -DHXTFILTER
if flag(gtkglade)
build-depends:
glade >= 0.10.1
, gtk >= 0.10.1
cpp-options: -DGTKGLADE