Hets.cabal revision 140287998aa8592c9c403bd9e308e447ba92ae11
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerversion: 0.97
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederDescription: The Heterogeneous Tool Set
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerbug-reports: http://trac.informatik.uni-bremen.de:8080/hets
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerLicense: LGPL
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder 2007 Cui Jian <ken@informatik.uni-bremen.de>
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder 2007 Hendrik Iben <hiben@informatik.uni-bremen.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2007 Klaus Luettich <luettich@informatik.uni-bremen.de>
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder 2007 Paolo Torrini <paolot@informatik.uni-bremen.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2007 Rainer Grabbe <rainer@informatik.uni-bremen.de>
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder 2008 Andy Gimblett <a.m.gimblett@swansea.ac.uk>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2008 Heng Jiang <jiang@informatik.uni-bremen.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2008 Igor Stassiy <i.stassiy@jacobs-university.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2008 Mingyi Liu <xinga@informatik.uni-bremen.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Christian.Maeder@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Dominik Luecke <luecke@informatik.uni-bremen.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Ewaryst.Schulz@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Liam O'Reilly <csliam@swansea.ac.uk>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Markus.Gross@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Mihai.Codescu@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Razvan Pascanu <r.pascanu@jacobs-university.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2009 Till.Mossakowski@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2010 Jonathan.von_Schroeder@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2010 Simon.Ulbricht@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner 2010 Corneliu-Claudiu.Prodescu@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerMaintainer: hets-devel@informatik.uni-bremen.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCopyright: 2006-2009 DFKI GmbH Bremen, Uni Bremen
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerStability: Experimental
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerbuild-type: Simple
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCabal-Version: >= 1.4
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner description: use HTk and uDrawGraph binding form the uniform workbench
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner svn co https://svn-agbkb.informatik.uni-bremen.de/uni/trunk uni
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerflag programatica
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner description: use programatica for the haskell logic
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner installed via "make" within Hets if cvs sources are checked out
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner in the same parent directory as Hets
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner description: save VSE proofs in tar archives
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner description: install signal handler for interrupting using Ctrl-C
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederflag haskeline
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder description: command line interface
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder description: haskell xml parsing library for the expat xml parser.
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder description: gtk and glade packages for a better user interface
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder description: hets as web interface based on wai-extra-0.2.4.2
ce5b44277ea06257548ff625e928cb1290c6d297cmaederExecutable hets
fa8878c6145f652f615a04a5e9c15a1d1327bc92cmaeder build-depends:
ce5b44277ea06257548ff625e928cb1290c6d297cmaeder HTTP >= 4000.0.5
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder , array >= 0.1.0.0
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder , aterm >= 0.1.0.1
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder , base >= 4.0.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , containers >= 0.1.0.1
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , directory >= 1.0.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , fgl >= 5.4.1.1
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , mtl >= 1.1.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , network >= 2.1.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , old-time >= 1.0.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , parsec >= 2.1.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , pretty >= 1.0.0.0
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , process >= 1.0.1.1
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder , time >= 1.1.3 && < 1.3
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , xml >= 1.3.7 && < 1.4
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder cpp-options: -DCASLEXTENSIONS
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder ghc-options: -threaded -fcontext-stack=31
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder if flag(uniform)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder build-depends:
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder , uni-graphs >= 2.0 && < 3.0
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder , uni-htk >= 2.0 && < 3.0
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder , uni-posixutil
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maeder , uni-reactor
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maeder , uni-uDrawGraph >= 2.0 && < 3.0
d62661e54e2662d53b583ae48609f5037701078dcmaeder , uni-util >= 2.0 && < 3.0
8cacad2a09782249243b80985f28e9387019fe40Christian Maeder cpp-options: -DUNI_PACKAGE
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian Maeder if flag(programatica)
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder build-depends: programatica >= 1.0 && < 1.1
014dc30f64ec25e4790cca987d4d1e6635430510Christian Maeder cpp-options: -DPROGRAMATICA
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maeder build-depends: tar >= 0.3 && < 0.4
feca1d35123d8c31aee238c9ce79947b0bf65494Christian Maeder cpp-options: -DTAR_PACKAGE
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder if flag(unix)
f5c0884429b01e74c6e658ded921fb2e16dfb478Christian Maeder build-depends: unix >= 2.3.0.0
db675e8302ddb0d6528088ce68f5e98a00e890e3Christian Maeder cpp-options: -DUNIX
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder if flag(haskeline)
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder build-depends:
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder haskeline >= 0.6 && < 0.7
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner cpp-options: -DHASKELINE
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner if flag(hexpat)
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner build-depends:
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder hexpat >= 0.11
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder , bytestring >= 0.9
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder cpp-options: -DHEXPAT
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder if flag(gtkglade)
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder build-depends:
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner glade >= 0.11.1
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner , gtk >= 0.11.2
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder cpp-options: -DGTKGLADE
dc679edd4ca027663212afdf00926ae2ce19b555Christian Maeder if flag(server)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder build-depends:
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder wai-extra >= 0.2 && < 0.3
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder , wai >= 0.2 && < 0.3
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder , bytestring >= 0.9
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder , random >= 1.0
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder cpp-options: -DSERVER