-
Notifications
You must be signed in to change notification settings - Fork 0
/
glue-tp.cabal
55 lines (40 loc) · 1.66 KB
/
glue-tp.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
-- monadic-glue-tp.cabal auto-generated by cabal init. For additional
-- options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
-- The name of the package.
Name: glue-tp
-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version: 0.1
-- A short (one-line) description of the package.
Synopsis: Theorem prover for monadic lambda calculus - Meant for linguistic applications
-- A longer description of the package.
-- Description:
-- The license under which the package is released.
License: MIT
-- The file containing the license text.
License-file: LICENSE
-- The package author(s).
Author: Gianluca Giorgolo
-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer: [email protected]
-- A copyright notice.
-- Copyright:
Category: Math
Build-type: Simple
-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:
-- Constraint on the version of Cabal needed to build this package.
Cabal-version: >=1.2
Library
exposed-modules: TP, Latex, Parser, NDS, DataTypes, Txt, XHTML
build-depends: base, containers >= 0.5, mtl >= 2.1.2, xhtml >= 3000.2.1
ghc-options: -W -O2
Test-Suite test.bin
type: exitcode-stdio-1.0
main-is: TestTP.hs
build-depends: base, HUnit >= 1.2.5.2 , QuickCheck >= 2.6, containers >= 0.5, mtl >= 2.1.2
ghc-options: -W