/
marlowe-spec-test.cabal
80 lines (72 loc) · 2.16 KB
/
marlowe-spec-test.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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
cabal-version: 2.4
name: marlowe-spec-test
version: 0.1.0.0
-- A short (one-line) description of the package.
synopsis: Marlowe spec compliance utility tool
-- The license under which the package is released.
license: BSD-3-Clause
license-file: LICENSE
author: Hernan Rajchert
maintainer: hernan.rajchert@iohk.io
extra-source-files:
README.md
common lang
default-language: Haskell2010
default-extensions: ScopedTypeVariables
DeriveGeneric StandaloneDeriving
ghc-options:
-Wall -Wnoncanonical-monad-instances
-Wincomplete-uni-patterns -Wincomplete-record-updates
-Wredundant-constraints -Widentities
-Wunused-packages
library
import: lang
hs-source-dirs: src
exposed-modules:
Marlowe.Spec
Marlowe.Spec.ClientProcess
Marlowe.Spec.Core
Marlowe.Spec.Core.Arbitrary
Marlowe.Spec.Core.Examples
Marlowe.Spec.Core.Examples.Escrow
Marlowe.Spec.Core.Examples.Swap
Marlowe.Spec.Core.Semantics
Marlowe.Spec.Core.Serialization.Json
Marlowe.Spec.Interpret
Marlowe.Spec.LocalInterpret
Marlowe.Spec.Reproducible
Marlowe.Spec.TypeId
Marlowe.Utils
build-depends:
aeson,
base >=4.9 && <5,
bytestring >= 0.10.12 && < 0.12,
marlowe ==0.1.0.0,
tasty >= 1.4.2 && < 1.5,
tasty-hunit >= 0.10 && < 0.11,
process >= 1.6.13 && < 1.7,
text >= 1.2.4 && < 2,
optparse-applicative >= 0.17 && < 0.18,
QuickCheck-GenT >= 0.2.2 && < 0.3,
QuickCheck >= 2.14 && < 3,
tasty-quickcheck >= 0.10 && < 0.11,
stm >= 2.5 && < 2.6,
random >= 1.2 && < 1.3,
mtl >= 2.2 && < 3,
executable marlowe-spec
import: lang
hs-source-dirs: app
main-is: Main.hs
build-depends:
base >=4.9 && <5,
marlowe-spec-test,
tasty,
test-suite marlowe-spec-test
import: lang
hs-source-dirs: test
type: exitcode-stdio-1.0
main-is: LocalSpec.hs
build-depends:
base >=4.9 && <5,
marlowe-spec-test,
tasty,