/
shelley-spec-ledger.nix
146 lines (146 loc) · 8.65 KB
/
shelley-spec-ledger.nix
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
140
141
142
143
144
145
146
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { development = false; };
package = {
specVersion = "1.8";
identifier = { name = "shelley-spec-ledger"; version = "0.1.0.0"; };
license = "NONE";
copyright = "";
maintainer = "formal.methods@iohk.io";
author = "IOHK Formal Methods Team";
homepage = "";
url = "";
synopsis = "";
description = "Shelley Ledger Executable Model";
buildType = "Simple";
isLocal = true;
};
components = {
"library" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."byron-spec-ledger" or (errorHandler.buildDepError "byron-spec-ledger"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary"))
(hsPkgs."cardano-crypto" or (errorHandler.buildDepError "cardano-crypto"))
(hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class"))
(hsPkgs."cardano-crypto-wrapper" or (errorHandler.buildDepError "cardano-crypto-wrapper"))
(hsPkgs."cardano-ledger" or (errorHandler.buildDepError "cardano-ledger"))
(hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude"))
(hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting"))
(hsPkgs."cborg" or (errorHandler.buildDepError "cborg"))
(hsPkgs."cborg-json" or (errorHandler.buildDepError "cborg-json"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog"))
(hsPkgs."iproute" or (errorHandler.buildDepError "iproute"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
(hsPkgs."shelley-spec-non-integral" or (errorHandler.buildDepError "shelley-spec-non-integral"))
(hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."bimap" or (errorHandler.buildDepError "bimap"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."goblins" or (errorHandler.buildDepError "goblins"))
];
buildable = true;
};
tests = {
"shelley-spec-ledger-test" = {
depends = [
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."bytestring-conversion" or (errorHandler.buildDepError "bytestring-conversion"))
(hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary"))
(hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class"))
(hsPkgs."cardano-crypto-test" or (errorHandler.buildDepError "cardano-crypto-test"))
(hsPkgs."cardano-crypto-wrapper" or (errorHandler.buildDepError "cardano-crypto-wrapper"))
(hsPkgs."cardano-ledger" or (errorHandler.buildDepError "cardano-ledger"))
(hsPkgs."cardano-ledger-test" or (errorHandler.buildDepError "cardano-ledger-test"))
(hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude"))
(hsPkgs."cardano-prelude-test" or (errorHandler.buildDepError "cardano-prelude-test"))
(hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting"))
(hsPkgs."cborg" or (errorHandler.buildDepError "cborg"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."byron-spec-ledger" or (errorHandler.buildDepError "byron-spec-ledger"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."shelley-spec-ledger" or (errorHandler.buildDepError "shelley-spec-ledger"))
(hsPkgs."generic-random" or (errorHandler.buildDepError "generic-random"))
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog"))
(hsPkgs."hedgehog-quickcheck" or (errorHandler.buildDepError "hedgehog-quickcheck"))
(hsPkgs."iproute" or (errorHandler.buildDepError "iproute"))
(hsPkgs."multiset" or (errorHandler.buildDepError "multiset"))
(hsPkgs."process-extras" or (errorHandler.buildDepError "process-extras"))
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
(hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
};
benchmarks = {
"mainbench" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."shelley-spec-ledger" or (errorHandler.buildDepError "shelley-spec-ledger"))
(hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary"))
(hsPkgs."cardano-crypto" or (errorHandler.buildDepError "cardano-crypto"))
(hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class"))
(hsPkgs."cardano-crypto-wrapper" or (errorHandler.buildDepError "cardano-crypto-wrapper"))
(hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude"))
(hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."bytestring-conversion" or (errorHandler.buildDepError "bytestring-conversion"))
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps"))
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
];
buildable = true;
};
};
};
} // {
src = (pkgs.lib).mkDefault (pkgs.fetchgit {
url = "https://github.com/input-output-hk/cardano-ledger-specs";
rev = "0294e7edd67a77c41dfdf4cd47af23dbefea0d9b";
sha256 = "10am5zd9fls005qy86idkc8ip0g23pmlqdhzg3ljqisa5c17zcsb";
});
postUnpack = "sourceRoot+=/shelley/chain-and-ledger/executable-spec; echo source root reset to \$sourceRoot";
}