a81d3d2ad669b1ace25cc96a55bca7ed5ccb2a53
[darcs-mirror-polyfix.git] / polyfix.cabal
1 name:           polyfix
2 version:        0.1
3 license:        PublicDomain
4 author:         Daniel Seidel, Joachim Breitner
5 maintainer:     seideld@tcs.inf.tu-dresden.de
6 synopsis:       Counter examples to Free Theorems
7 description:
8         Given a Free Theorem, this program calculates a term for which the
9         Free Theorem does not hold if a strictness requirement is relaxed.
10         .
11         It also includes a simple Free Theorem deriver.
12 category:       Language
13 build-type:     Simple
14 cabal-version:  >= 1.2
15
16 extra-source-files:
17     TestItExt.hs
18     testcgi.py
19
20 library
21     build-depends:
22         base >= 1.0
23       , mtl >= 1.0
24       , haskell-src >= 1.0
25       , haskell-src-exts >= 0.3.9
26       , pretty >= 1.0.0.0
27       , containers >= 0.1.0.1
28       , HUnit >= 1.2
29     exposed-modules:
30         ExFindExtended
31         SimpleFT
32         ParseType
33         Term2Expr
34     other-modules:
35         Expr
36         M
37
38 executable polyfix.cgi
39     main-is:
40         polyfix-cgi.hs
41     build-depends:
42         xhtml, cgi, utf8-string, free-theorems >= 0.2.1