-
Notifications
You must be signed in to change notification settings - Fork 155
/
cs-ledger.nix
66 lines (66 loc) · 1.81 KB
/
cs-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
{ system, compiler, flags, pkgs, hsPkgs, pkgconfPkgs, ... }:
{
flags = { development = false; };
package = {
specVersion = "2.0";
identifier = { name = "cs-ledger"; version = "0.1.0.0"; };
license = "MIT";
copyright = "";
maintainer = "formal.methods@iohk.io";
author = "IOHK Formal Methods Team";
homepage = "https://github.com/input-output-hk/cardano-chain";
url = "";
synopsis = "Executable specification of Cardano ledger";
description = "";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs.base)
(hsPkgs.bimap)
(hsPkgs.containers)
(hsPkgs.hashable)
(hsPkgs.hedgehog)
(hsPkgs.lens)
(hsPkgs.Unique)
(hsPkgs.small-steps)
];
};
tests = {
"doctests" = {
depends = [
(hsPkgs.base)
(hsPkgs.doctest)
(hsPkgs.containers)
(hsPkgs.hedgehog)
(hsPkgs.lens)
(hsPkgs.memory)
(hsPkgs.text)
(hsPkgs.small-steps)
(hsPkgs.cs-ledger)
];
build-tools = [
(hsPkgs.buildPackages.doctest-discover or (pkgs.buildPackages.doctest-discover))
];
};
"ledger-rules-test" = {
depends = [
(hsPkgs.base)
(hsPkgs.bimap)
(hsPkgs.containers)
(hsPkgs.lens)
(hsPkgs.hedgehog)
(hsPkgs.tasty)
(hsPkgs.tasty-hunit)
(hsPkgs.tasty-hedgehog)
(hsPkgs.Unique)
(hsPkgs.cs-ledger)
(hsPkgs.small-steps)
];
};
};
};
} // rec {
src = (pkgs.lib).mkDefault ../.././byron/ledger/executable-spec;
}