Skip to content

Commit e7013e4

Browse files
author
IOHK
committed
Automatic Update
1 parent 69b0cca commit e7013e4

File tree

46 files changed

+1573
-11
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

46 files changed

+1573
-11
lines changed

‎default.nix‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4513,6 +4513,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
45134513
"database-id-groundhog" = import ./nix/database-id-groundhog.nix;
45144514
"database-migrate" = import ./nix/database-migrate.nix;
45154515
"database-study" = import ./nix/database-study.nix;
4516+
"datacrypto" = import ./nix/datacrypto.nix;
45164517
"datadog" = import ./nix/datadog.nix;
45174518
"datadog-tracing" = import ./nix/datadog-tracing.nix;
45184519
"dataenc" = import ./nix/dataenc.nix;

‎hackage/MIP-glpk-0.1.1.0-r2-6282000d2bb65b075f0094d598e7166a32516dea9e42325f6fa64385c6e35789.nix‎

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.12";
14+
identifier = { name = "MIP-glpk"; version = "0.1.1.0"; };
15+
license = "GPL-3.0-only";
16+
copyright = "2020 Masahiro Sakai";
17+
maintainer = "[email protected]";
18+
author = "Masahiro Sakai";
19+
homepage = "https://github.com/msakai/haskell-MIP#readme";
20+
url = "";
21+
synopsis = "A GLPK backend to the MIP library.";
22+
description = "Please see the README on GitHub at <https://github.com/msakai/haskell-MIP/tree/master/MIP-glpk#readme>";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."MIP" or (errorHandler.buildDepError "MIP"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
31+
(hsPkgs."bytestring-encoding" or (errorHandler.buildDepError "bytestring-encoding"))
32+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
33+
(hsPkgs."extended-reals" or (errorHandler.buildDepError "extended-reals"))
34+
(hsPkgs."glpk-headers" or (errorHandler.buildDepError "glpk-headers"))
35+
(hsPkgs."intern" or (errorHandler.buildDepError "intern"))
36+
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
37+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
38+
];
39+
libs = [ (pkgs."glpk" or (errorHandler.sysDepError "glpk")) ];
40+
buildable = true;
41+
};
42+
tests = {
43+
"MIP-glpk-test" = {
44+
depends = [
45+
(hsPkgs."MIP" or (errorHandler.buildDepError "MIP"))
46+
(hsPkgs."MIP-glpk" or (errorHandler.buildDepError "MIP-glpk"))
47+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
48+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
49+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
50+
(hsPkgs."extended-reals" or (errorHandler.buildDepError "extended-reals"))
51+
(hsPkgs."glpk-headers" or (errorHandler.buildDepError "glpk-headers"))
52+
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
53+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
54+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
55+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
56+
(hsPkgs."tasty-th" or (errorHandler.buildDepError "tasty-th"))
57+
];
58+
buildable = true;
59+
};
60+
};
61+
};
62+
}

‎hackage/clash-ghc-1.8.2-r0-a5e5fe902fbc02f2fc825e13855b9e57bbc782928bc1820c29d3faabaa8457bb.nix‎

Lines changed: 99 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,99 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {
12+
dynamic = false;
13+
use-ghc-paths = false;
14+
workaround-ghc-mmap-crash = false;
15+
};
16+
package = {
17+
specVersion = "2.2";
18+
identifier = { name = "clash-ghc"; version = "1.8.2"; };
19+
license = "BSD-2-Clause";
20+
copyright = "Copyright © 2012-2016, University of Twente,\n2016-2017, Myrtle Software Ltd,\n2017-2019, QBayLogic B.V., Google Inc.";
21+
maintainer = "QBayLogic B.V. <[email protected]>";
22+
author = "The Clash Authors";
23+
homepage = "https://clash-lang.org/";
24+
url = "";
25+
synopsis = "Clash: a functional hardware description language - GHC frontend";
26+
description = "Clash is a functional hardware description language that borrows both its\nsyntax and semantics from the functional programming language Haskell. The\nClash compiler transforms these high-level descriptions to low-level\nsynthesizable VHDL, Verilog, or SystemVerilog.\n\nFeatures of Clash:\n\n* Strongly typed, but with a very high degree of type inference, enabling both\nsafe and fast prototyping using concise descriptions.\n\n* Interactive REPL: load your designs in an interpreter and easily test all\nyour component without needing to setup a test bench.\n\n* Higher-order functions, with type inference, result in designs that are\nfully parametric by default.\n\n* Synchronous sequential circuit design based on streams of values, called\n@Signal@s, lead to natural descriptions of feedback loops.\n\n* Support for multiple clock domains, with type safe clock domain crossing.\n\n\nThis package provides:\n\n* Clash Compiler binary using GHC/Haskell as a frontend\n\n\nPrelude library: <https://hackage.haskell.org/package/clash-prelude>";
27+
buildType = "Simple";
28+
};
29+
components = {
30+
"library" = {
31+
depends = (((([
32+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
35+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
36+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
37+
(hsPkgs."data-binary-ieee754" or (errorHandler.buildDepError "data-binary-ieee754"))
38+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
39+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
40+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
41+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
42+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
43+
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
44+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
45+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
46+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
47+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
48+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
49+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
50+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
51+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
52+
(hsPkgs."ghc-typelits-extra" or (errorHandler.buildDepError "ghc-typelits-extra"))
53+
(hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat"))
54+
(hsPkgs."ghc-typelits-natnormalise" or (errorHandler.buildDepError "ghc-typelits-natnormalise"))
55+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
56+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
57+
(hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot"))
58+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
59+
(hsPkgs."ghci" or (errorHandler.buildDepError "ghci"))
60+
(hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate"))
61+
(hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
62+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
63+
(hsPkgs."string-interpolate" or (errorHandler.buildDepError "string-interpolate"))
64+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
65+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
66+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
67+
] ++ [
68+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
69+
]) ++ pkgs.lib.optional (compiler.isGhc && compiler.version.ge "8.10.0") (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))) ++ (if compiler.isGhc && compiler.version.ge "9.0.0"
70+
then [
71+
(hsPkgs."ghc-bignum" or (errorHandler.buildDepError "ghc-bignum"))
72+
]
73+
else [
74+
(hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
75+
])) ++ pkgs.lib.optional (flags.use-ghc-paths) (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths"))) ++ (if system.isWindows
76+
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
77+
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
78+
buildable = true;
79+
};
80+
exes = {
81+
"clash" = {
82+
depends = [
83+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
84+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
85+
];
86+
libs = [ (pkgs."pthread" or (errorHandler.sysDepError "pthread")) ];
87+
buildable = true;
88+
};
89+
"clashi" = {
90+
depends = [
91+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
92+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
93+
];
94+
libs = [ (pkgs."pthread" or (errorHandler.sysDepError "pthread")) ];
95+
buildable = true;
96+
};
97+
};
98+
};
99+
}

‎hackage/clash-lib-1.8.2-r0-bf494184c73cdb27016ce61d471a2ba3d3959703e576dda3181d85431fba47e2.nix‎

Lines changed: 163 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,163 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {
12+
debug = false;
13+
unittests = true;
14+
doctests = true;
15+
workaround-ghc-mmap-crash = false;
16+
};
17+
package = {
18+
specVersion = "2.2";
19+
identifier = { name = "clash-lib"; version = "1.8.2"; };
20+
license = "BSD-2-Clause";
21+
copyright = "Copyright © 2012-2016, University of Twente,\n2016-2019, Myrtle Software Ltd,\n2017-2023, QBayLogic B.V., Google Inc.";
22+
maintainer = "QBayLogic B.V. <[email protected]>";
23+
author = "The Clash Authors";
24+
homepage = "https://clash-lang.org/";
25+
url = "";
26+
synopsis = "Clash: a functional hardware description language - As a library";
27+
description = "Clash is a functional hardware description language that borrows both its\nsyntax and semantics from the functional programming language Haskell. The\nClash compiler transforms these high-level descriptions to low-level\nsynthesizable VHDL, Verilog, or SystemVerilog.\n\nFeatures of Clash:\n\n* Strongly typed, but with a very high degree of type inference, enabling both\nsafe and fast prototyping using concise descriptions.\n\n* Interactive REPL: load your designs in an interpreter and easily test all\nyour component without needing to setup a test bench.\n\n* Higher-order functions, with type inference, result in designs that are\nfully parametric by default.\n\n* Synchronous sequential circuit design based on streams of values, called\n@Signal@s, lead to natural descriptions of feedback loops.\n\n* Support for multiple clock domains, with type safe clock domain crossing.\n\n\nThis package provides:\n\n* The CoreHW internal language: SystemF + Letrec + Case-decomposition\n\n* The normalisation process that brings CoreHW in a normal form that can be\nconverted to a netlist\n\n* Blackbox/Primitive Handling\n\n\nFront-ends (for: parsing, typecheck, etc.) are provided by separate packages:\n\n* <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>\n\n* <https://github.com/christiaanb/Idris-dev Idris Frontend>\n\n\nPrelude library: <https://hackage.haskell.org/package/clash-prelude>";
28+
buildType = "Simple";
29+
};
30+
components = {
31+
"library" = {
32+
depends = [
33+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
34+
(hsPkgs."attoparsec-aeson" or (errorHandler.buildDepError "attoparsec-aeson"))
35+
(hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
36+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
37+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
38+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
39+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
40+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
41+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
42+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
43+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
44+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
45+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
46+
(hsPkgs."cryptohash-sha256" or (errorHandler.buildDepError "cryptohash-sha256"))
47+
(hsPkgs."data-binary-ieee754" or (errorHandler.buildDepError "data-binary-ieee754"))
48+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
49+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
50+
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
51+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
52+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
53+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
54+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
55+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
56+
(hsPkgs."ghc-boot-th" or (errorHandler.buildDepError "ghc-boot-th"))
57+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
58+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
59+
(hsPkgs."haskell-src-meta" or (errorHandler.buildDepError "haskell-src-meta"))
60+
(hsPkgs."hint" or (errorHandler.buildDepError "hint"))
61+
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list"))
62+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
63+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
64+
(hsPkgs."ordered-containers" or (errorHandler.buildDepError "ordered-containers"))
65+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
66+
(hsPkgs."prettyprinter-interp" or (errorHandler.buildDepError "prettyprinter-interp"))
67+
(hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show"))
68+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
69+
(hsPkgs."string-interpolate" or (errorHandler.buildDepError "string-interpolate"))
70+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
71+
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
72+
(hsPkgs."terminal-size" or (errorHandler.buildDepError "terminal-size"))
73+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
74+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
75+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
76+
(hsPkgs."trifecta" or (errorHandler.buildDepError "trifecta"))
77+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
78+
(hsPkgs."vector-binary-instances" or (errorHandler.buildDepError "vector-binary-instances"))
79+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
80+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
81+
] ++ (if compiler.isGhc && compiler.version.ge "9.0.0"
82+
then [
83+
(hsPkgs."ghc-bignum" or (errorHandler.buildDepError "ghc-bignum"))
84+
]
85+
else [
86+
(hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
87+
]);
88+
buildable = true;
89+
};
90+
exes = {
91+
"v16-upgrade-primitives" = {
92+
depends = [
93+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
94+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
95+
(hsPkgs."attoparsec-aeson" or (errorHandler.buildDepError "attoparsec-aeson"))
96+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
97+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
98+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
99+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
100+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
101+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
102+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
103+
(hsPkgs."Glob" or (errorHandler.buildDepError "Glob"))
104+
];
105+
buildable = true;
106+
};
107+
"static-files" = {
108+
depends = [
109+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
110+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
111+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
112+
(hsPkgs."docopt" or (errorHandler.buildDepError "docopt"))
113+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
114+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
115+
];
116+
buildable = if compiler.isGhc && compiler.version.ge "9.2.0"
117+
then false
118+
else true;
119+
};
120+
};
121+
tests = {
122+
"doctests" = {
123+
depends = pkgs.lib.optionals (!!flags.doctests) [
124+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
125+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
126+
(hsPkgs."doctest-parallel" or (errorHandler.buildDepError "doctest-parallel"))
127+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
128+
];
129+
buildable = if !flags.doctests then false else true;
130+
};
131+
"unittests" = {
132+
depends = pkgs.lib.optionals (!!flags.unittests) [
133+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
134+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
135+
(hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat"))
136+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
137+
(hsPkgs."attoparsec-aeson" or (errorHandler.buildDepError "attoparsec-aeson"))
138+
(hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
139+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
140+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
141+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
142+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
143+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
144+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
145+
(hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
146+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
147+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
148+
(hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show"))
149+
(hsPkgs."quickcheck-text" or (errorHandler.buildDepError "quickcheck-text"))
150+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
151+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
152+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
153+
(hsPkgs."tasty-th" or (errorHandler.buildDepError "tasty-th"))
154+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
155+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
156+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
157+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
158+
];
159+
buildable = if !flags.unittests then false else true;
160+
};
161+
};
162+
};
163+
}

0 commit comments

Comments
 (0)