/
marlowe.cabal
127 lines (121 loc) · 3.27 KB
/
marlowe.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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
cabal-version: 2.0
name: marlowe
version: 0.1.0.0
license: Apache-2.0
license-files:
LICENSE
NOTICE
build-type: Simple
maintainer: alexander.nemish@iohk.io
stability: experimental
author: Alexander Nemish
synopsis:
Marlowe: financial contracts on Cardano Computation Layer
description:
A reference implementation of Marlowe, domain-specific language targeted at
the execution of financial contracts in the style of Peyton Jones et al
on Cardano Computation Layer.
category: Language
extra-doc-files: README.md
source-repository head
type: git
location: https://github.com/input-output-hk/plutus
flag defer-plugin-errors
description:
Defer errors from the plugin, useful for things like Haddock that can't handle it.
default: False
manual: True
library
hs-source-dirs: src
build-depends:
aeson -any,
base -any,
bytestring,
containers -any,
deriving-aeson -any,
lens,
mtl,
newtype-generics,
template-haskell -any,
plutus-tx -any,
plutus-contract -any,
plutus-ledger,
language-plutus-core,
plutus-contract,
prettyprinter,
text,
vector,
sbv >= 8.4,
wl-pprint -any,
freer-simple -any
default-language: Haskell2010
default-extensions: ExplicitForAll ScopedTypeVariables
DeriveGeneric StandaloneDeriving DeriveLift
DeriveFunctor DeriveFoldable
DeriveTraversable
exposed-modules:
Language.Marlowe
Language.Marlowe.Semantics
Language.Marlowe.Client
Language.Marlowe.Client2
Language.Marlowe.Client3
Language.Marlowe.Util
Language.Marlowe.Pretty
Language.Marlowe.Analysis.FSSemantics
other-modules:
ghc-options:
-Wall -Wnoncanonical-monad-instances
-Wincomplete-uni-patterns -Wincomplete-record-updates
-Wredundant-constraints -Widentities
-pgmL unlit -optL--ghc -optL--language=haskell -optL--from=asciidoc
if !(impl(ghcjs) || os(ghcjs))
build-depends: plutus-tx-plugin -any
if flag(defer-plugin-errors)
ghc-options: -fplugin-opt Language.PlutusTx.Plugin:defer-errors
build-tool-depends: unlit:unlit -any
test-suite marlowe-test
default-language: Haskell2010
hs-source-dirs: test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
-- Spec.Common
Spec.Marlowe.Common
Spec.Marlowe.Marlowe
OldAnalysis.FSMap
OldAnalysis.FSSemantics
OldAnalysis.FSSet
OldAnalysis.IntegerArray
OldAnalysis.MkSymb
OldAnalysis.Numbering
Spec.Marlowe.Marlowe2
-- Spec.Actus
build-depends:
aeson -any,
base >=4.9 && <5,
containers -any,
hedgehog -any,
hint -any,
prettyprinter,
lens -any,
memory -any,
bytestring -any,
freer-simple -any,
tasty -any,
tasty-hunit -any,
tasty-quickcheck,
tasty-hedgehog >=0.2.0.0,
text -any,
serialise,
cborg,
plutus-ledger -any,
plutus-contract -any,
marlowe,
sbv >= 8.4,
plutus-tx -any,
QuickCheck,
template-haskell -any
ghc-options:
-Wall -Wnoncanonical-monad-instances
-Wincomplete-uni-patterns -Wincomplete-record-updates
-Wredundant-constraints -Widentities