/
shelley-spec-non-integral.nix
49 lines (49 loc) · 1.57 KB
/
shelley-spec-non-integral.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
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { development = false; };
package = {
specVersion = "1.8";
identifier = { name = "shelley-spec-non-integral"; version = "0.1.0.0"; };
license = "NONE";
copyright = "";
maintainer = "formal.methods@iohk.io";
author = "IOHK Formal Methods Team";
homepage = "";
url = "";
synopsis = "";
description = "Implementation decision for non-integer calculations";
buildType = "Simple";
isLocal = true;
};
components = {
"library" = {
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
buildable = true;
};
tests = {
"shelley-spec-non-integral-test" = {
depends = (pkgs.lib).optionals (!flags.development) [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."shelley-spec-non-integral" or (errorHandler.buildDepError "shelley-spec-non-integral"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
];
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/dependencies/non-integer; echo source root reset to \$sourceRoot";
}