-
Notifications
You must be signed in to change notification settings - Fork 3
/
package.cabal
51 lines (43 loc) · 1.2 KB
/
package.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
cabal-version: 3.0
name: lesson10-coercing-proofs
version: 1.0.0.0
build-type: Simple
-- https://vrom911.github.io/blog/common-stanzas
-- https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-build-depends
common common
build-depends:
base >= 4 && < 5,
singletons ^>= 3.0,
singleton-nats ^>= 0.4
default-language: Haskell2010
ghc-options: -O2
library
import: common
exposed-modules: Lesson10
signatures: Lesson10.Proofs
hs-source-dirs: lib
executable lesson10
import: common,
main-is:
Main.hs
build-depends:
lesson10-coercing-proofs,
proofs-coerced
test-suite tests
import: common
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: tests.hs
build-depends:
lesson10-coercing-proofs,
proofs,
tasty >= 1.3.1,
tasty-hunit >= 0.10.0.2
library proofs
import: common
exposed-modules: Lesson10.Proofs
hs-source-dirs: lib-proofs
library proofs-coerced
import: common
exposed-modules: Lesson10.Proofs
hs-source-dirs: lib-proofs-coerced