forked from IntersectMBO/plutus
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathplutus-prototype.cabal
76 lines (73 loc) · 2.73 KB
/
plutus-prototype.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
-- Initial plutus-prototype.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: plutus-prototype
version: 0.1.0.0
synopsis: Prototype of the Plutus language
description: Prototype of the Plutus language
homepage: iohk.io
license: MIT
license-file: LICENSE.txt
author: Darryl McAdams
maintainer: [email protected]
-- copyright:
category: Language
tested-with: GHC==7.10.3, GHC==8.0.1
build-type: Simple
extra-source-files: README.md
data-files: src/Prelude.pls
cabal-version: >=1.10
source-repository head
type: git
location: git://github.com/input-output-hk/plutus-prototype.git
library
exposed-modules: PlutusTypes.ConSig,
PlutusTypes.Type,
PlutusCore.Term,
PlutusCore.BuiltinEvaluation,
PlutusCore.PatternMatching,
PlutusCore.Evaluation,
PlutusCore.EvaluatorTypes,
PlutusCore.Program,
PlutusCore.CKMachine,
Plutus.Term,
Plutus.Program,
Plutus.Parser,
Elaboration.Contexts,
Elaboration.Elaborator,
Elaboration.Elaboration,
Elaboration.ElabState,
Elaboration.Judgments,
Interface.JSVM,
Interface.REPL,
Interface.Integration,
Interface.Prelude,
Utils.Names,
Utils.Vars,
Utils.ABT,
Utils.JSABT,
Utils.ProofDeveloper
other-modules: Utils.Elaborator,
Utils.Env,
Utils.Eval,
Utils.Pretty,
Utils.SuffixParser,
Utils.Unifier,
Paths_plutus_prototype
-- other-extensions:
build-depends: base >=4.8 && <5,
bifunctors,
binary,
bytestring,
cardano-crypto,
cryptonite,
ed25519,
either,
filepath,
lens,
memory,
mtl,
operational,
parsec,
transformers
hs-source-dirs: src
default-language: Haskell2010