-
Notifications
You must be signed in to change notification settings - Fork 0
/
demo-plutustx.cabal
110 lines (101 loc) · 2.37 KB
/
demo-plutustx.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
cabal-version: 3.0
name: demo-plutustx
version: 0.1.0.0
synopsis:
Plutus validators for the Demo protocol written in PlutusTx.
author: Drazen Popovic
maintainer: [email protected]
flag dev
description: Enable non-strict compilation for development
manual: True
common common-language
ghc-options:
-Wall -Wcompat -fprint-explicit-foralls -fprint-explicit-kinds
-fwarn-missing-import-lists -Weverything -Wno-unsafe
-Wno-missing-safe-haskell-mode -Wno-implicit-prelude
-Wno-missing-kind-signatures -Wno-all-missed-specializations
if !flag(dev)
ghc-options: -Werror
default-extensions:
BangPatterns
BinaryLiterals
ConstrainedClassMethods
ConstraintKinds
DataKinds
DeriveAnyClass
DeriveDataTypeable
DeriveFoldable
DeriveFunctor
DeriveGeneric
DeriveLift
DeriveTraversable
DerivingStrategies
DerivingVia
DoAndIfThenElse
DuplicateRecordFields
EmptyCase
EmptyDataDecls
EmptyDataDeriving
ExistentialQuantification
ExplicitForAll
ExplicitNamespaces
FlexibleContexts
FlexibleInstances
ForeignFunctionInterface
GADTSyntax
GeneralizedNewtypeDeriving
HexFloatLiterals
ImportQualifiedPost
InstanceSigs
KindSignatures
LambdaCase
MonomorphismRestriction
MultiParamTypeClasses
NamedFieldPuns
NamedWildCards
NoStarIsType
NumericUnderscores
OverloadedLabels
OverloadedStrings
PartialTypeSignatures
PatternGuards
PolyKinds
PostfixOperators
RankNTypes
RecordWildCards
RelaxedPolyRec
ScopedTypeVariables
StandaloneDeriving
StandaloneKindSignatures
TemplateHaskell
TraditionalRecordSyntax
TupleSections
TypeApplications
TypeFamilies
TypeOperators
TypeSynonymInstances
ViewPatterns
default-language: Haskell2010
library
import: common-language
build-depends:
, lbf-demo-plutus-api-plutustx
, lbr-plutustx
, plutus-tx
hs-source-dirs: src
exposed-modules: Demo.Validation
executable demo-plutustx-cli
import: common-language
main-is: Main.hs
hs-source-dirs: app
other-modules: Demo.Cli.Compile
build-depends:
, base
, bytestring
, demo-plutustx
, lbf-demo-config-api
, lbr-prelude
, optparse-applicative
, plutus-ledger-api
, plutus-tx
, plutus-tx-plugin