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

Commit 3d3b66d

Browse files
rvlrvl
committed
[DEVOPS-1120] nix-tools autogenerated code + tweaks
1 parent 9025cea commit 3d3b66d

File tree

9 files changed

+511
-0
lines changed

9 files changed

+511
-0
lines changed

‎.stack-to-nix.cache

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
https://github.com/input-output-hk/cardano-prelude d3a3dfc451725cc3e17f47677739ba3dc7d9bbee . 0sh665nsvk42bzp7azpg53ka31y2kpinjn48m164b3fkhcjn4mj3 cardano-prelude .stack.nix/cardano-prelude.nix
2+
https://github.com/input-output-hk/cardano-prelude d3a3dfc451725cc3e17f47677739ba3dc7d9bbee test 0sh665nsvk42bzp7azpg53ka31y2kpinjn48m164b3fkhcjn4mj3 cardano-prelude-test .stack.nix/cardano-prelude-test.nix
3+
https://github.com/well-typed/cborg 3d274c14ca3077c3a081ba7ad57c5182da65c8c1 cborg 1w06annk6nm01brd60hzl15143cvjvsaam9lhwzpmppyvgb0cdyz cborg .stack.nix/cborg.nix
4+
https://github.com/input-output-hk/canonical-json.git f66762e4c4fe484ed109d28ad541fc55cc841c2c . 0cqa4vnrj3wqqgzzg9v7p3ddrfsf5fx63dv2jnwnlfaczs007dkq canonical-json .stack.nix/canonical-json.nix
5+
https://github.com/input-output-hk/cardano-crypto e87fcd3fea18f664d6e4f39c11abb8cafbd25785 . 0ax9gxbr3qnji1jwz2rz97573lkyi4128m2ck90bi1x15p4bm65y 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 2c9e51804e8217dff89f5c32cbe0d79ce20bc508 hedgehog 07pvrslv6h3rz053lfxp0racnqj70yazik6mrn612i09vfaxis6b hedgehog .stack.nix/hedgehog.nix
8+
https://github.com/input-output-hk/haskell-hedgehog.git 2e741bb53afb085741807018948ae17d956c53af hedgehog 0l0d1n2b68m0628j4yi214q5fy6pz777qfj1bc1lrra8scs5gcxh hedgehog .stack.nix/hedgehog.nix
9+
https://github.com/input-output-hk/cardano-prelude 2d6624af423d0a5c7ced6f3ae465eaaeb4ec739e . 0kimfl3k60jz7cglk24ls5lhvm8xh0hfjs8azhhymzckvyn3y0wn cardano-prelude .stack.nix/cardano-prelude.nix
10+
https://github.com/input-output-hk/cardano-prelude 2d6624af423d0a5c7ced6f3ae465eaaeb4ec739e test 0kimfl3k60jz7cglk24ls5lhvm8xh0hfjs8azhhymzckvyn3y0wn cardano-prelude-test .stack.nix/cardano-prelude-test.nix

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
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.1";
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 = "";
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+
};
37+
} // {
38+
src = pkgs.fetchgit {
39+
url = "https://github.com/input-output-hk/canonical-json.git";
40+
rev = "f66762e4c4fe484ed109d28ad541fc55cc841c2c";
41+
sha256 = "0cqa4vnrj3wqqgzzg9v7p3ddrfsf5fx63dv2jnwnlfaczs007dkq";
42+
};
43+
}

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

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

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

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

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

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

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

Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
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 = "cardano-shell";
14+
version = "0.1.0.0";
15+
};
16+
license = "MIT";
17+
copyright = "2018 IOHK";
18+
maintainer = "[email protected]";
19+
author = "IOHK";
20+
homepage = "https://github.com/input-output-hk/cardano-shell#readme";
21+
url = "";
22+
synopsis = "";
23+
description = "Please see the README on GitHub at <https://github.com/githubuser/cardano-shell#readme>";
24+
buildType = "Simple";
25+
};
26+
components = {
27+
"library" = {
28+
depends = [
29+
(hsPkgs.base)
30+
(hsPkgs.cardano-prelude)
31+
(hsPkgs.aeson)
32+
(hsPkgs.katip)
33+
(hsPkgs.ekg)
34+
(hsPkgs.ekg-core)
35+
(hsPkgs.concurrency)
36+
(hsPkgs.safe-exceptions)
37+
];
38+
};
39+
exes = {
40+
"cardano-shell-exe" = {
41+
depends = [
42+
(hsPkgs.base)
43+
(hsPkgs.cardano-shell)
44+
(hsPkgs.cardano-prelude)
45+
];
46+
};
47+
};
48+
tests = {
49+
"cardano-shell-test" = {
50+
depends = [
51+
(hsPkgs.base)
52+
(hsPkgs.cardano-shell)
53+
(hsPkgs.cardano-prelude)
54+
(hsPkgs.QuickCheck)
55+
(hsPkgs.hspec)
56+
(hsPkgs.hspec-contrib)
57+
(hsPkgs.concurrency)
58+
(hsPkgs.dejafu)
59+
(hsPkgs.hunit-dejafu)
60+
];
61+
};
62+
};
63+
};
64+
} // rec { src = .././../.; }

‎nix/.stack.nix/cborg.nix

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, ... }:
8+
{
9+
flags = {
10+
optimize-gmp = true;
11+
};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = {
15+
name = "cborg";
16+
version = "0.2.0.0";
17+
};
18+
license = "BSD-3-Clause";
19+
copyright = "2015-2017 Duncan Coutts,\n2015-2017 Well-Typed LLP,\n2015 IRIS Connect Ltd";
20+
maintainer = "[email protected], [email protected]";
21+
author = "Duncan Coutts";
22+
homepage = "";
23+
url = "";
24+
synopsis = "Concise Binary Object Representation";
25+
description = "This package (formerly @binary-serialise-cbor@) provides an efficient\nimplementation of the Concise Binary Object Representation (CBOR), as\nspecified by [RFC 7049](https://tools.ietf.org/html/rfc7049).\n\nIf you are looking for a library for serialisation of Haskell values,\nhave a look at the [serialise](/package/serialise) package, which is\nbuilt upon this library.\n\nAn implementation of the standard bijection between CBOR and JSON is provided\nby the [cborg-json](/package/cborg-json) package. Also see [cbor-tool](/package/cbor-tool)\nfor a convenient command-line utility for working with CBOR data.";
26+
buildType = "Simple";
27+
};
28+
components = {
29+
"library" = {
30+
depends = ([
31+
(hsPkgs.array)
32+
(hsPkgs.base)
33+
(hsPkgs.bytestring)
34+
(hsPkgs.containers)
35+
(hsPkgs.deepseq)
36+
(hsPkgs.ghc-prim)
37+
(hsPkgs.half)
38+
(hsPkgs.primitive)
39+
(hsPkgs.text)
40+
] ++ pkgs.lib.optional (flags.optimize-gmp) (hsPkgs.integer-gmp)) ++ pkgs.lib.optionals (!(compiler.isGhc && compiler.version.ge "8.0")) [
41+
(hsPkgs.fail)
42+
(hsPkgs.semigroups)
43+
];
44+
};
45+
};
46+
} // {
47+
src = pkgs.fetchgit {
48+
url = "https://github.com/well-typed/cborg";
49+
rev = "3d274c14ca3077c3a081ba7ad57c5182da65c8c1";
50+
sha256 = "1w06annk6nm01brd60hzl15143cvjvsaam9lhwzpmppyvgb0cdyz";
51+
};
52+
postUnpack = "sourceRoot+=/cborg; echo source root reset to \$sourceRoot";
53+
}

0 commit comments

Comments
 (0)