Hets.cabal revision a95700f302c138798ce1e996c255157e112b19bc
name: Hets
version: 0.99
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
2010 Jonathan.von_Schroeder@dfki.de
2010 Simon.Ulbricht@dfki.de
2010 Corneliu-Claudiu.Prodescu@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 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 hexpat
description: haskell xml parsing library for the expat xml parser.
flag gtkglade
description: gtk and glade packages for a better user interface
flag server
description: hets as web interface based on wai-extra-0.2.4.2
Executable hets
Main-is: hets.hs
build-depends:
HTTP >= 4000.0.5
, array >= 0.1.0.0
, aterm >= 0.1.0.1
, base >= 4.0.0.0
, containers >= 0.1.0.1
, directory >= 1.0.0.0
, fgl >= 5.4.1.1
, filepath
, ghc-prim
, transformers >= 0.2.0.0
, mtl >= 2.0.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.1.1
, time >= 1.1.3 && < 1.5
, utf8-string
, bytestring >= 0.9
, xml >= 1.3.7 && < 1.4
cpp-options: -DCASLEXTENSIONS
ghc-options: -threaded -fcontext-stack=31
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 && < 1.1
cpp-options: -DPROGRAMATICA
if flag(tar)
build-depends: tar >= 0.3 && < 0.5
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.8
cpp-options: -DHASKELINE
if flag(hexpat)
build-depends:
hexpat >= 0.11
cpp-options: -DHEXPAT
if flag(gtkglade)
build-depends:
glade >= 0.11.1
, gtk >= 0.11.2
cpp-options: -DGTKGLADE
if flag(server)
build-depends:
wai-extra >= 0.4
, wai >= 0.4
, warp >= 0.4
, http-types >= 0.6 && < 0.9
, text >= 0.5 && < 2.0
, bytestring >= 0.9
, random >= 1.0
cpp-options: -DSERVER