name: Hets
version: 0.98
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
    svn co https://svn-agbkb.informatik.uni-bremen.de/uni/trunk uni
    http://www.informatik.uni-bremen.de/uDrawGraph

flag programatica
  description: use programatica for the haskell logic
    http://programatica.cs.pdx.edu/
    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
    , 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.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(hexpat)
    build-depends:
        hexpat >= 0.11
      , bytestring >= 0.9
    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.7
      , text >= 0.5 && < 1.0
      , bytestring >= 0.9
      , random >= 1.0
    cpp-options: -DSERVER