Skip to content
This repository was archived by the owner on Aug 1, 2023. It is now read-only.

Commit b9a9feb

Browse files
rvlrvl
committed
[DEVOPS-1120] nix-tools autogenerated code + manual fixes
Changed compiler version from ghc-8.6.3 -> ghc-8.6.2. Changed snapshot from lts-13.4 -> lts-13.2.
1 parent 52d3b5b commit b9a9feb

11 files changed

+641
-14
lines changed

‎.stack-to-nix.cache

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
https://github.com/input-output-hk/cardano-prelude 2d6624af423d0a5c7ced6f3ae465eaaeb4ec739e . 0kimfl3k60jz7cglk24ls5lhvm8xh0hfjs8azhhymzckvyn3y0wn cardano-prelude .stack.nix/cardano-prelude.nix
2+
https://github.com/input-output-hk/cardano-prelude 2d6624af423d0a5c7ced6f3ae465eaaeb4ec739e test 0kimfl3k60jz7cglk24ls5lhvm8xh0hfjs8azhhymzckvyn3y0wn cardano-prelude-test .stack.nix/cardano-prelude-test.nix
3+
https://github.com/input-output-hk/iohk-monitoring-framework 4dc4d541a645b84a281faa8950a7fd4e61708963 . 1qk5zin92bfn635nyi31b8w2nrw8zdcc8p0x2s2xcq9mzc3zdybf iohk-monitoring .stack.nix/iohk-monitoring.nix
4+
https://github.com/well-typed/cborg 80fbe0ee5e67a5622e2cb9eaa9d8594a2214322d cborg 1khd1v9yh6jdkcvzvknvhxpc1qvxvww0pp7c43w4hbvdyhs1q8wh cborg .stack.nix/cborg.nix
5+
https://github.com/nc6/cardano-crypto d46e8a44d85a71f5da03fb6b176e9427c684144b . 0g8ln8k8wx4csdv92bz09pr7v9dp4lcyv1334b09c9rgwdwhqg1b cardano-crypto .stack.nix/cardano-crypto.nix
6+
https://github.com/avieth/plutus-prototype d094be301195fcd8ab864d793f114970426a4478 . 1s932rghn4zn441waansp408b5bwk20rc1wsa5693a2nwnp4dijw plutus-prototype .stack.nix/plutus-prototype.nix
7+
https://github.com/input-output-hk/haskell-hedgehog.git 2e741bb53afb085741807018948ae17d956c53af hedgehog 0l0d1n2b68m0628j4yi214q5fy6pz777qfj1bc1lrra8scs5gcxh hedgehog .stack.nix/hedgehog.nix
8+
http://github.com/nc6/canonical-json a9dc9b893649bc2e2a770ab22d278a780f7e3a3c . 0alwbi9xqaj6fmwzs6lr2drqrnhlnp13d9k2qkl5ga7h4grz9zcr canonical-json .stack.nix/canonical-json.nix
9+
https://github.com/input-output-hk/cardano-crypto 3c707936ba0a665375acf5bd240dc4b6eaa6c0bc . 0g8ln8k8wx4csdv92bz09pr7v9dp4lcyv1334b09c9rgwdwhqg1b cardano-crypto .stack.nix/cardano-crypto.nix
10+
https://github.com/input-output-hk/cardano-prelude 7f8544ae9e162b6664f07093227edb148f1c8a5b . 0yywq1m77k2f95pi59pdsk7rq7zlq140d1lsk6gl5qsjrxvyzkb5 cardano-prelude .stack.nix/cardano-prelude.nix
11+
https://github.com/input-output-hk/cardano-prelude 7f8544ae9e162b6664f07093227edb148f1c8a5b test 0yywq1m77k2f95pi59pdsk7rq7zlq140d1lsk6gl5qsjrxvyzkb5 cardano-prelude-test .stack.nix/cardano-prelude-test.nix

‎nix/.stack-pkgs.nix

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -2,16 +2,16 @@
22
overlay = hackage:
33
{
44
packages = {
5-
"aeson-options" = hackage.aeson-options."0.0.0".revisions.default;
6-
"base58-bytestring" = hackage.base58-bytestring."0.1.0".revisions.default;
7-
"half" = hackage.half."0.2.2.3".revisions.default;
8-
"micro-recursion-schemes" = hackage.micro-recursion-schemes."5.0.2.2".revisions.default;
9-
"streaming-binary" = hackage.streaming-binary."0.3.0.1".revisions.default;
10-
"katip" = hackage.katip."0.7.0.0".revisions."4b30d0643e18d01a3fd264d3d75921b49b2f464336a52fa46fa049107ebbfe04";
11-
"time-units" = hackage.time-units."1.0.0".revisions."27cf54091c4a0ca73d504fc11d5c31ab4041d17404fe3499945e2055697746c1";
12-
"ekg" = hackage.ekg."0.4.0.15".revisions."f52d7c00654d72d2ab988255f30adba95a52484ac310bab9c136c64732e69f4b";
13-
"ekg-json" = hackage.ekg-json."0.1.0.6".revisions."4ff2e9cac213a5868ae8b4a7c72a16a9a76fac14d944ae819b3d838a9725569b";
14-
} // {
5+
"base58-bytestring" = (((hackage.base58-bytestring)."0.1.0").revisions).default;
6+
"half" = (((hackage.half)."0.2.2.3").revisions).default;
7+
"micro-recursion-schemes" = (((hackage.micro-recursion-schemes)."5.0.2.2").revisions).default;
8+
"streaming-binary" = (((hackage.streaming-binary)."0.3.0.1").revisions).default;
9+
"pretty-show" = (((hackage.pretty-show)."1.8.2").revisions).default;
10+
"katip" = (((hackage.katip)."0.7.0.0").revisions)."4b30d0643e18d01a3fd264d3d75921b49b2f464336a52fa46fa049107ebbfe04";
11+
"time-units" = (((hackage.time-units)."1.0.0").revisions)."27cf54091c4a0ca73d504fc11d5c31ab4041d17404fe3499945e2055697746c1";
12+
"ekg" = (((hackage.ekg)."0.4.0.15").revisions)."f52d7c00654d72d2ab988255f30adba95a52484ac310bab9c136c64732e69f4b";
13+
"ekg-json" = (((hackage.ekg-json)."0.1.0.6").revisions)."4ff2e9cac213a5868ae8b4a7c72a16a9a76fac14d944ae819b3d838a9725569b";
14+
} // {
1515
cardano-shell = ./.stack.nix/cardano-shell.nix;
1616
cardano-prelude = ./.stack.nix/cardano-prelude.nix;
1717
cardano-prelude-test = ./.stack.nix/cardano-prelude-test.nix;
@@ -21,10 +21,10 @@
2121
plutus-prototype = ./.stack.nix/plutus-prototype.nix;
2222
hedgehog = ./.stack.nix/hedgehog.nix;
2323
canonical-json = ./.stack.nix/canonical-json.nix;
24-
};
24+
};
2525
compiler.version = "8.6.2";
2626
compiler.nix-name = "ghc862";
27-
};
28-
resolver = "nightly-2018-12-17";
27+
};
28+
resolver = "lts-13.2";
2929
compiler = "ghc-8.6.2";
30-
}
30+
}

‎nix/.stack.nix/canonical-json.nix

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, ... }:
8+
{
9+
flags = {};
10+
package = {
11+
specVersion = "1.10";
12+
identifier = {
13+
name = "canonical-json";
14+
version = "0.5.0.2";
15+
};
16+
license = "BSD-3-Clause";
17+
copyright = "Copyright 2015-2017 Well-Typed LLP";
18+
maintainer = "[email protected], [email protected]";
19+
author = "Duncan Coutts, Edsko de Vries";
20+
homepage = "https://github.com/well-typed/canonical-json";
21+
url = "";
22+
synopsis = "Canonical JSON for signing and hashing JSON values";
23+
description = "An implementation of Canonical JSON.\n\n<http://wiki.laptop.org/go/Canonical_JSON>\n\nThe \\\"canonical JSON\\\" format is designed to provide\nrepeatable hashes of JSON-encoded data. It is designed\nfor applications that need to hash, sign or authenitcate\nJSON data structures, including embedded signatures.\n\nCanonical JSON is parsable with any full JSON parser, and\nit allows whitespace for pretty-printed human readable\npresentation, but it can be put into a canonical form\nwhich then has a stable serialised representation and\nthus a stable hash.";
24+
buildType = "Simple";
25+
};
26+
components = {
27+
"library" = {
28+
depends = [
29+
(hsPkgs.base)
30+
(hsPkgs.bytestring)
31+
(hsPkgs.containers)
32+
(hsPkgs.parsec)
33+
(hsPkgs.pretty)
34+
];
35+
};
36+
tests = {
37+
"tests" = {
38+
depends = [
39+
(hsPkgs.base)
40+
(hsPkgs.bytestring)
41+
(hsPkgs.canonical-json)
42+
(hsPkgs.aeson)
43+
(hsPkgs.vector)
44+
(hsPkgs.unordered-containers)
45+
(hsPkgs.QuickCheck)
46+
(hsPkgs.tasty)
47+
(hsPkgs.tasty-quickcheck)
48+
];
49+
};
50+
};
51+
};
52+
} // {
53+
src = pkgs.fetchgit {
54+
url = "http://github.com/nc6/canonical-json";
55+
rev = "a9dc9b893649bc2e2a770ab22d278a780f7e3a3c";
56+
sha256 = "0alwbi9xqaj6fmwzs6lr2drqrnhlnp13d9k2qkl5ga7h4grz9zcr";
57+
};
58+
}

‎nix/.stack.nix/cardano-crypto.nix

Lines changed: 88 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,88 @@
1+
{ system, compiler, flags, pkgs, hsPkgs, pkgconfPkgs, ... }:
2+
{
3+
flags = { golden-tests = false; golden-tests-exe = false; };
4+
package = {
5+
specVersion = "1.10";
6+
identifier = { name = "cardano-crypto"; version = "1.1.0"; };
7+
license = "MIT";
8+
copyright = "2016-2017 IOHK";
9+
maintainer = "[email protected]";
10+
author = "Vincent Hanquez";
11+
homepage = "https://github.com/input-output-hk/cardano-crypto#readme";
12+
url = "";
13+
synopsis = "Cryptography primitives for cardano";
14+
description = "";
15+
buildType = "Simple";
16+
};
17+
components = {
18+
"library" = {
19+
depends = [
20+
(hsPkgs.base)
21+
(hsPkgs.memory)
22+
(hsPkgs.deepseq)
23+
(hsPkgs.bytestring)
24+
(hsPkgs.basement)
25+
(hsPkgs.foundation)
26+
(hsPkgs.cryptonite)
27+
(hsPkgs.cryptonite-openssl)
28+
(hsPkgs.hashable)
29+
(hsPkgs.integer-gmp)
30+
];
31+
};
32+
exes = {
33+
"golden-tests" = {
34+
depends = [
35+
(hsPkgs.base)
36+
(hsPkgs.basement)
37+
(hsPkgs.foundation)
38+
(hsPkgs.memory)
39+
(hsPkgs.bytestring)
40+
(hsPkgs.cryptonite)
41+
(hsPkgs.cardano-crypto)
42+
] ++ (pkgs.lib).optional (flags.golden-tests-exe) (hsPkgs.inspector);
43+
};
44+
};
45+
tests = {
46+
"cardano-crypto-test" = {
47+
depends = [
48+
(hsPkgs.base)
49+
(hsPkgs.bytestring)
50+
(hsPkgs.memory)
51+
(hsPkgs.cryptonite)
52+
(hsPkgs.cardano-crypto)
53+
(hsPkgs.basement)
54+
(hsPkgs.foundation)
55+
];
56+
};
57+
"cardano-crypto-golden-tests" = {
58+
depends = [
59+
(hsPkgs.base)
60+
(hsPkgs.basement)
61+
(hsPkgs.foundation)
62+
(hsPkgs.memory)
63+
(hsPkgs.bytestring)
64+
(hsPkgs.cryptonite)
65+
(hsPkgs.cardano-crypto)
66+
] ++ (pkgs.lib).optional (flags.golden-tests) (hsPkgs.inspector);
67+
};
68+
};
69+
benchmarks = {
70+
"cardano-crypto-bench" = {
71+
depends = [
72+
(hsPkgs.base)
73+
(hsPkgs.bytestring)
74+
(hsPkgs.memory)
75+
(hsPkgs.cryptonite)
76+
(hsPkgs.cardano-crypto)
77+
(hsPkgs.gauge)
78+
];
79+
};
80+
};
81+
};
82+
} // {
83+
src = (pkgs.lib).mkDefault (pkgs.fetchgit {
84+
url = "https://github.com/input-output-hk/cardano-crypto";
85+
rev = "3c707936ba0a665375acf5bd240dc4b6eaa6c0bc";
86+
sha256 = "0g8ln8k8wx4csdv92bz09pr7v9dp4lcyv1334b09c9rgwdwhqg1b";
87+
});
88+
}

‎nix/.stack.nix/cardano-prelude-test.nix

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
{ system, compiler, flags, pkgs, hsPkgs, pkgconfPkgs, ... }:
2+
{
3+
flags = { development = false; };
4+
package = {
5+
specVersion = "1.10";
6+
identifier = { name = "cardano-prelude-test"; version = "0.1.0.0"; };
7+
license = "MIT";
8+
copyright = "2018 IOHK";
9+
maintainer = "[email protected]";
10+
author = "IOHK";
11+
homepage = "";
12+
url = "";
13+
synopsis = "Utility types and functions for testing Cardano";
14+
description = "Utility types and functions for testing Cardano";
15+
buildType = "Simple";
16+
};
17+
components = {
18+
"library" = {
19+
depends = [
20+
(hsPkgs.base)
21+
(hsPkgs.aeson)
22+
(hsPkgs.aeson-pretty)
23+
(hsPkgs.attoparsec)
24+
(hsPkgs.base16-bytestring)
25+
(hsPkgs.bytestring)
26+
(hsPkgs.canonical-json)
27+
(hsPkgs.cardano-prelude)
28+
(hsPkgs.cryptonite)
29+
(hsPkgs.formatting)
30+
(hsPkgs.hedgehog)
31+
(hsPkgs.hspec)
32+
(hsPkgs.pretty-show)
33+
(hsPkgs.QuickCheck)
34+
(hsPkgs.quickcheck-instances)
35+
(hsPkgs.text)
36+
(hsPkgs.time)
37+
];
38+
};
39+
};
40+
} // {
41+
src = (pkgs.lib).mkDefault (pkgs.fetchgit {
42+
url = "https://github.com/input-output-hk/cardano-prelude";
43+
rev = "7f8544ae9e162b6664f07093227edb148f1c8a5b";
44+
sha256 = "0yywq1m77k2f95pi59pdsk7rq7zlq140d1lsk6gl5qsjrxvyzkb5";
45+
});
46+
postUnpack = "sourceRoot+=/test; echo source root reset to \$sourceRoot";
47+
}

‎nix/.stack.nix/cardano-prelude.nix

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
{ system, compiler, flags, pkgs, hsPkgs, pkgconfPkgs, ... }:
2+
{
3+
flags = { development = false; };
4+
package = {
5+
specVersion = "1.10";
6+
identifier = { name = "cardano-prelude"; version = "0.1.0.0"; };
7+
license = "MIT";
8+
copyright = "2018 IOHK";
9+
maintainer = "[email protected]";
10+
author = "IOHK";
11+
homepage = "";
12+
url = "";
13+
synopsis = "A Prelude replacement for the Cardano project";
14+
description = "A Prelude replacement for the Cardano project";
15+
buildType = "Simple";
16+
};
17+
components = {
18+
"library" = {
19+
depends = [
20+
(hsPkgs.base)
21+
(hsPkgs.aeson)
22+
(hsPkgs.array)
23+
(hsPkgs.base16-bytestring)
24+
(hsPkgs.bytestring)
25+
(hsPkgs.canonical-json)
26+
(hsPkgs.cborg)
27+
(hsPkgs.containers)
28+
(hsPkgs.formatting)
29+
(hsPkgs.ghc-prim)
30+
(hsPkgs.hashable)
31+
(hsPkgs.integer-gmp)
32+
(hsPkgs.mtl)
33+
(hsPkgs.nonempty-containers)
34+
(hsPkgs.protolude)
35+
(hsPkgs.tagged)
36+
(hsPkgs.text)
37+
(hsPkgs.time)
38+
(hsPkgs.vector)
39+
];
40+
};
41+
};
42+
} // {
43+
src = (pkgs.lib).mkDefault (pkgs.fetchgit {
44+
url = "https://github.com/input-output-hk/cardano-prelude";
45+
rev = "7f8544ae9e162b6664f07093227edb148f1c8a5b";
46+
sha256 = "0yywq1m77k2f95pi59pdsk7rq7zlq140d1lsk6gl5qsjrxvyzkb5";
47+
});
48+
}

‎nix/.stack.nix/cardano-shell.nix

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
{ system, compiler, flags, pkgs, hsPkgs, pkgconfPkgs, ... }:
2+
{
3+
flags = {};
4+
package = {
5+
specVersion = "1.10";
6+
identifier = { name = "cardano-shell"; version = "0.1.0.0"; };
7+
license = "MIT";
8+
copyright = "2018 IOHK";
9+
maintainer = "[email protected]";
10+
author = "IOHK";
11+
homepage = "https://github.com/input-output-hk/cardano-shell#readme";
12+
url = "";
13+
synopsis = "";
14+
description = "Please see the README on GitHub at <https://github.com/githubuser/cardano-shell#readme>";
15+
buildType = "Simple";
16+
};
17+
components = {
18+
"library" = {
19+
depends = [
20+
(hsPkgs.base)
21+
(hsPkgs.cardano-prelude)
22+
(hsPkgs.directory)
23+
(hsPkgs.formatting)
24+
(hsPkgs.safe-exceptions)
25+
(hsPkgs.text)
26+
(hsPkgs.transformers)
27+
(hsPkgs.contravariant)
28+
(hsPkgs.dhall)
29+
(hsPkgs.ekg-core)
30+
(hsPkgs.QuickCheck)
31+
(hsPkgs.text)
32+
(hsPkgs.transformers)
33+
(hsPkgs.concurrency)
34+
(hsPkgs.QuickCheck)
35+
];
36+
};
37+
exes = {
38+
"cardano-shell-exe" = {
39+
depends = [
40+
(hsPkgs.base)
41+
(hsPkgs.cardano-shell)
42+
(hsPkgs.cardano-prelude)
43+
(hsPkgs.safe-exceptions)
44+
(hsPkgs.iohk-monitoring)
45+
];
46+
};
47+
};
48+
tests = {
49+
"cardano-shell-test" = {
50+
depends = [
51+
(hsPkgs.base)
52+
(hsPkgs.cardano-shell)
53+
(hsPkgs.cardano-prelude)
54+
(hsPkgs.dhall)
55+
(hsPkgs.safe-exceptions)
56+
(hsPkgs.QuickCheck)
57+
(hsPkgs.hspec)
58+
(hsPkgs.hspec-contrib)
59+
(hsPkgs.concurrency)
60+
(hsPkgs.dejafu)
61+
(hsPkgs.hunit-dejafu)
62+
];
63+
};
64+
};
65+
};
66+
} // rec { src = (pkgs.lib).mkDefault .././../.; }

0 commit comments

Comments
 (0)