2895434db78559f472ee578ef5d753012b521f0f
[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
19 library
20     build-depends:
21         base >= 1.0
22       , mtl >= 1.0
23       , haskell-src >= 1.0
24       , haskell-src-exts >= 0.3.9
25       , pretty >= 1.0.0.0
26       , containers >= 0.1.0.1
27       , HUnit >= 1.2
28     exposed-modules:
29         ExFindExtended
30         SimpleFT
31         ParseType
32     other-modules:
33         Expr
34         M
35
36 executable polyfix.cgi
37     main-is:
38         polyfix-cgi.hs
39     build-depends:
40         xhtml, cgi, utf8-string, free-theorems >= 0.2.1