/
marlowe-cardano.cabal
139 lines (128 loc) · 3.66 KB
/
marlowe-cardano.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
128
129
130
131
132
133
134
135
136
137
138
139
cabal-version: 2.2
name: marlowe-cardano
version: 0.1.0.3
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
CHANGELOG.md
data-dir: benchmarks
data-files:
rolepayout/*.benchmark
semantics/*.benchmark
source-repository head
type: git
location: https://github.com/input-output-hk/marlowe-cardano
flag defer-plugin-errors
description:
Defer errors from the plugin, useful for things like Haddock that can't handle it.
default: False
manual: True
flag trace-plutus
description:
Enable Plutus trace log for Marlowe validators.
default: False
manual: True
common lang
default-language: Haskell2010
default-extensions: ExplicitForAll ScopedTypeVariables
DeriveGeneric StandaloneDeriving DeriveLift
DeriveFunctor DeriveFoldable
DeriveTraversable
ghc-options:
-Wall -Wnoncanonical-monad-instances
-Wincomplete-uni-patterns -Wincomplete-record-updates
-Wredundant-constraints -Widentities
-Wunused-packages -Werror
library
import: lang
hs-source-dirs: src
if !(impl(ghcjs) || os(ghcjs))
build-depends: plutus-tx-plugin ==1.0.0.0
build-depends:
base >= 4.9 && < 5,
aeson >= 2 && < 3,
base16-aeson == 0.1.0.0,
base16-bytestring >= 1 && < 2,
bech32 >= 1.1 && < 2,
bytestring >= 0.10.12 && < 0.12,
containers >= 0.6.5 && < 0.7,
deriving-aeson >= 0.2.9 && < 0.3,
mtl >= 2.2 && < 3,
multiplate ==0.0.3,
newtype-generics >= 0.6.2 && < 0.7,
ordered-containers >= 0.2 && < 0.3,
plutus-ledger ^>= 1.2,
plutus-ledger-api ==1.0.0.1,
plutus-script-utils ==1.2.0.0,
plutus-tx ==1.0.0.0,
sbv >=8.4,
scientific >= 0.3.7 && < 0.4,
serialise >= 0.2.6 && < 0.3,
template-haskell >= 2.16 && < 3,
text >= 1.2.4 && < 2,
transformers >= 0.5.6 && < 0.6,
wl-pprint >= 1.2 && < 2,
exposed-modules:
Language.Marlowe
Language.Marlowe.Analysis.FSSemantics
Language.Marlowe.Analysis.Safety.Ledger
Language.Marlowe.Analysis.Safety.Transaction
Language.Marlowe.Analysis.Safety.Types
Language.Marlowe.Client
Language.Marlowe.Client.History
Language.Marlowe.Core.V1.Merkle
Language.Marlowe.Core.V1.Plate
Language.Marlowe.Core.V1.Semantics
Language.Marlowe.Core.V1.Semantics.Types
Language.Marlowe.Core.V1.Semantics.Next
Language.Marlowe.Core.V1.Semantics.Types.Address
Language.Marlowe.Extended.V1
Language.Marlowe.Extended.V1.Metadata.Types
Language.Marlowe.FindInputs
Language.Marlowe.ParserUtil
Language.Marlowe.Pretty
Language.Marlowe.Scripts
Language.Marlowe.Util
Paths_marlowe_cardano
Plutus.Debug
if flag(trace-plutus)
cpp-options: -DTRACE_PLUTUS
executable marlowe-validators
import: lang
hs-source-dirs: app
main-is: Main.hs
other-modules:
Benchmark.Marlowe
Benchmark.Marlowe.RolePayout
Benchmark.Marlowe.Semantics
Benchmark.Marlowe.Types
Benchmark.Marlowe.Util
Paths_marlowe_cardano
build-depends:
, base
, base16-bytestring
, bytestring
, cardano-binary
, containers
, directory
, filepath
, marlowe-cardano
, mtl
, plutus-core
, plutus-ledger-api
, plutus-tx
, serialise
, text