-
Notifications
You must be signed in to change notification settings - Fork 12
/
Copy pathAFPlecture4.cabal
33 lines (30 loc) · 1.01 KB
/
AFPlecture4.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
-- Initial AFPlecture4.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: AFPlecture4
version: 2015.0
synopsis: AFP course lecture 4
-- description:
homepage: http://www.cse.chalmers.se/edu/course/afp/
license: BSD3
license-file: LICENSE
author: Patrik Jansson
maintainer: patrikj@chalmers.se
-- copyright:
-- category:
build-type: Simple
cabal-version: >=1.8
library
hs-source-dirs: src
exposed-modules: ParseUtil, Parsers,
Parser0, Parser1, Parser2, Parser3,
Lemmas
-- other-modules:
build-depends: QuickCheck
, base < 5
executable example
hs-source-dirs: exe
build-depends: AFPlecture4
, QuickCheck < 2.8
, base >= 4 && < 5
other-modules: Example
main-is: Example.hs