Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Sep 4, 2024
1 parent cf3275f commit d86e544
Show file tree
Hide file tree
Showing 39 changed files with 1,650 additions and 2 deletions.
42 changes: 42 additions & 0 deletions .../MicroHs-0.9.17.0-r0-bb33e6f596f3249328b604164b62206b58567c53e16cd8827ca0408b535aa247.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "MicroHs"; version = "0.9.17.0"; };
license = "Apache-2.0";
copyright = "2023,2024 Lennart Augustsson";
maintainer = "[email protected]";
author = "[email protected]";
homepage = "";
url = "";
synopsis = "A compiler for Haskell";
description = "A compiler for an extended subset of Haskell-2010.\nThe compiler translates to combinators and can compile itself.";
buildType = "Simple";
};
components = {
exes = {
"mhs" = {
depends = pkgs.lib.optionals (compiler.isGhc && true) [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
];
buildable = true;
};
};
};
}
82 changes: 82 additions & 0 deletions ...ge/crucible-0.7.1-r1-11d444b35af80679045c81a7ea144e2d4b3bf06d4e6993d2bba48b8741ab3dfe.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,82 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { unsafe-operations = true; };
package = {
specVersion = "2.2";
identifier = { name = "crucible"; version = "0.7.1"; };
license = "BSD-3-Clause";
copyright = "(c) Galois, Inc 2014-2022";
maintainer = "[email protected], [email protected], [email protected]";
author = "Galois Inc.";
homepage = "";
url = "";
synopsis = "Crucible is a library for language-agnostic symbolic simulation";
description = "Crucible provides a program representation format based on single-static assignment\n(SSA) form control flow graphs, and a symbolic simulation engine for executing\nprograms expressed in this format. It also provides support for communicating with\na variety of SAT and SMT solvers, including Z3, CVC4, Yices, STP, and dReal.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bimap" or (errorHandler.buildDepError "bimap"))
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."json" or (errorHandler.buildDepError "json"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."panic" or (errorHandler.buildDepError "panic"))
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
];
buildable = true;
};
tests = {
"absint-tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
];
buildable = true;
};
"helper-tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
(hsPkgs."panic" or (errorHandler.buildDepError "panic"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec"))
];
buildable = true;
};
};
};
}
78 changes: 78 additions & 0 deletions ...crucible-llvm-0.7-r1-b3d79072df7066bd0d3a855f6fbf538a9239de95b1ef6772ccb46aa48f4f0686.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,78 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.2";
identifier = { name = "crucible-llvm"; version = "0.7"; };
license = "BSD-3-Clause";
copyright = "(c) Galois, Inc 2014-2022";
maintainer = "[email protected], [email protected], [email protected]";
author = "Galois Inc.";
homepage = "";
url = "";
synopsis = "Support for translating and executing LLVM code in Crucible";
description = "Library providing LLVM-specific extensions to the crucible core library\nfor Crucible-based simulation and verification of LLVM-compiled applications.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
(hsPkgs."crucible-symio" or (errorHandler.buildDepError "crucible-symio"))
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."itanium-abi" or (errorHandler.buildDepError "itanium-abi"))
(hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
];
buildable = true;
};
tests = {
"crucible-llvm-tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
(hsPkgs."crucible-llvm" or (errorHandler.buildDepError "crucible-llvm"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
(hsPkgs."llvm-pretty-bc-parser" or (errorHandler.buildDepError "llvm-pretty-bc-parser"))
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."tasty-sugar" or (errorHandler.buildDepError "tasty-sugar"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
];
buildable = true;
};
};
};
}
101 changes: 101 additions & 0 deletions ...ted-process-0.7.7-r0-3381725397804df6bd4254ec025410594f4e736325f0fd5d7e9d6318f26f83eb.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,101 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { th = true; };
package = {
specVersion = "3.0";
identifier = { name = "distributed-process"; version = "0.7.7"; };
license = "BSD-3-Clause";
copyright = "Well-Typed LLP, Tweag I/O Limited";
maintainer = "The Distributed Haskell team";
author = "Duncan Coutts, Nicolas Wu, Edsko de Vries";
homepage = "https://haskell-distributed.github.io/";
url = "";
synopsis = "Cloud Haskell: Erlang-style concurrency in Haskell";
description = "This is an implementation of Cloud Haskell, as described in\n/Towards Haskell in the Cloud/ by Jeff Epstein, Andrew Black,\nand Simon Peyton Jones\n(<https://simon.peytonjones.org/haskell-cloud/>),\nalthough some of the details are different. The precise message\npassing semantics are based on /A unified semantics for future Erlang/\nby Hans Svensson, Lars-&#xc5;ke Fredlund and Clara Benac Earle.\n\nYou will probably also want to install a Cloud Haskell backend such\nas distributed-process-simplelocalnet.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static"))
(hsPkgs."rank1dynamic" or (errorHandler.buildDepError "rank1dynamic"))
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
] ++ pkgs.lib.optional (flags.th) (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"));
buildable = true;
};
benchmarks = {
"distributed-process-throughput" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
];
buildable = true;
};
"distributed-process-latency" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
];
buildable = true;
};
"distributed-process-channels" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
];
buildable = true;
};
"distributed-process-spawns" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
];
buildable = true;
};
"distributed-process-ring" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
];
buildable = true;
};
};
};
}
69 changes: 69 additions & 0 deletions ...ocess-async-0.2.8-r0-cc659efb2ebb62ddf3496d208acd58644b92c54b979735dd2c37874c9a6c31ab.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,69 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "distributed-process-async"; version = "0.2.8"; };
license = "BSD-3-Clause";
copyright = "Tim Watson 2012 - 2016";
maintainer = "The Distributed Haskell team";
author = "Tim Watson";
homepage = "http://github.com/haskell-distributed/distributed-process";
url = "";
synopsis = "Cloud Haskell Async API";
description = "This package provides a higher-level interface over Processes, in which an Async a is a\nconcurrent, possibly distributed Process that will eventually deliver a value of type a.\nThe package provides ways to create Async computations, wait for their results, and cancel them.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
tests = {
"AsyncTests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
(hsPkgs."distributed-process-async" or (errorHandler.buildDepError "distributed-process-async"))
(hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport"))
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
(hsPkgs."rematch" or (errorHandler.buildDepError "rematch"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit d86e544

Please sign in to comment.