-
Notifications
You must be signed in to change notification settings - Fork 18
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
IOHK
committed
Jul 23, 2024
1 parent
5868e73
commit 063fafb
Showing
22 changed files
with
901 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
77 changes: 77 additions & 0 deletions
77
...ge/Blammo-2.0.0.0-r0-874b1572232d974b234ee8b2655b74ff15e3759abd2c1874d57ca35fe07002d4.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,77 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "Blammo"; version = "2.0.0.0"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Freckle Education"; | ||
author = ""; | ||
homepage = "https://github.com/freckle/blammo#readme"; | ||
url = ""; | ||
synopsis = "Batteries-included Structured Logging library"; | ||
description = "Please see README.md"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist")) | ||
(hsPkgs."envparse" or (errorHandler.buildDepError "envparse")) | ||
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) | ||
(hsPkgs."fast-logger" or (errorHandler.buildDepError "fast-logger")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."monad-logger-aeson" or (errorHandler.buildDepError "monad-logger-aeson")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) | ||
(hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"readme" = { | ||
depends = [ | ||
(hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."markdown-unlit" or (errorHandler.buildDepError "markdown-unlit")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
"spec" = { | ||
depends = [ | ||
(hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."envparse" or (errorHandler.buildDepError "envparse")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
59 changes: 59 additions & 0 deletions
59
...lammo-wai-0.0.0.0-r0-4eab73c27798edec02d5398cd709e2a24200f5dad14954e6a6d1314e117dfcd8.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,59 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "Blammo-wai"; version = "0.0.0.0"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Freckle Education"; | ||
author = ""; | ||
homepage = "https://github.com/freckle/blammo#readme"; | ||
url = ""; | ||
synopsis = "Using Blammo with WAI"; | ||
description = "Please see README.md"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) | ||
(hsPkgs."clock" or (errorHandler.buildDepError "clock")) | ||
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) | ||
(hsPkgs."wai" or (errorHandler.buildDepError "wai")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"readme" = { | ||
depends = [ | ||
(hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) | ||
(hsPkgs."Blammo-wai" or (errorHandler.buildDepError "Blammo-wai")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."markdown-unlit" or (errorHandler.buildDepError "markdown-unlit")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."wai" or (errorHandler.buildDepError "wai")) | ||
(hsPkgs."warp" or (errorHandler.buildDepError "warp")) | ||
(hsPkgs."yesod-core" or (errorHandler.buildDepError "yesod-core")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
118 changes: 118 additions & 0 deletions
118
...e/futhark-0.25.18-r1-d7046013aafbbc68acea8f28f5fe6f2f8638add8ac7551e2c8c90baca3605eb3.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,118 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "futhark"; version = "0.25.18"; }; | ||
license = "ISC"; | ||
copyright = ""; | ||
maintainer = "Troels Henriksen [email protected]"; | ||
author = ""; | ||
homepage = "https://futhark-lang.org"; | ||
url = ""; | ||
synopsis = "An optimising compiler for a functional, array-oriented language."; | ||
description = "Futhark is a small programming language designed to be compiled to\nefficient parallel code. It is a statically typed, data-parallel,\nand purely functional array language in the ML family, and comes\nwith a heavily optimising ahead-of-time compiler that presently\ngenerates GPU code via CUDA and OpenCL, although the language itself\nis hardware-agnostic.\n\nFor more information, see the website at https://futhark-lang.org\n\nFor introductionary information about hacking on the\nFuthark compiler, see\n<https://github.com/diku-dk/futhark/blob/master/HACKING.md the hacking guide>.\nRegarding the internal design of the compiler, the following modules make\ngood starting points:\n\n* \"Futhark\" contains a basic architectural overview of the compiler.\n* \"Futhark.IR.Syntax\" explains the\nbasic design of the intermediate representation (IR).\n* \"Futhark.Construct\" explains how to write code that\nmanipulates and creates AST fragments.\n\n<<docs/assets/ohyes.png You too can go fast once you rewrite your program in Futhark.>>"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."bytestring-to-vector" or (errorHandler.buildDepError "bytestring-to-vector")) | ||
(hsPkgs."bmp" or (errorHandler.buildDepError "bmp")) | ||
(hsPkgs."co-log-core" or (errorHandler.buildDepError "co-log-core")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."cryptohash-md5" or (errorHandler.buildDepError "cryptohash-md5")) | ||
(hsPkgs."Diff" or (errorHandler.buildDepError "Diff")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."directory-tree" or (errorHandler.buildDepError "directory-tree")) | ||
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist")) | ||
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) | ||
(hsPkgs."fgl-visualize" or (errorHandler.buildDepError "fgl-visualize")) | ||
(hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."free" or (errorHandler.buildDepError "free")) | ||
(hsPkgs."futhark-data" or (errorHandler.buildDepError "futhark-data")) | ||
(hsPkgs."futhark-server" or (errorHandler.buildDepError "futhark-server")) | ||
(hsPkgs."futhark-manifest" or (errorHandler.buildDepError "futhark-manifest")) | ||
(hsPkgs."githash" or (errorHandler.buildDepError "githash")) | ||
(hsPkgs."half" or (errorHandler.buildDepError "half")) | ||
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline")) | ||
(hsPkgs."language-c-quote" or (errorHandler.buildDepError "language-c-quote")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) | ||
(hsPkgs."lsp-types" or (errorHandler.buildDepError "lsp-types")) | ||
(hsPkgs."mainland-pretty" or (errorHandler.buildDepError "mainland-pretty")) | ||
(hsPkgs."cmark-gfm" or (errorHandler.buildDepError "cmark-gfm")) | ||
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."neat-interpolation" or (errorHandler.buildDepError "neat-interpolation")) | ||
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."process-extras" or (errorHandler.buildDepError "process-extras")) | ||
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa")) | ||
(hsPkgs."srcloc" or (errorHandler.buildDepError "srcloc")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
(hsPkgs."terminal-size" or (errorHandler.buildDepError "terminal-size")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."versions" or (errorHandler.buildDepError "versions")) | ||
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) | ||
(hsPkgs."statistics" or (errorHandler.buildDepError "statistics")) | ||
(hsPkgs."mwc-random" or (errorHandler.buildDepError "mwc-random")) | ||
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) | ||
(hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.buildPackages.alex.components.exes.alex or (pkgs.buildPackages.alex or (errorHandler.buildToolDepError "alex:alex"))) | ||
(hsPkgs.buildPackages.happy.components.exes.happy or (pkgs.buildPackages.happy or (errorHandler.buildToolDepError "happy:happy"))) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"futhark" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."futhark" or (errorHandler.buildDepError "futhark")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"unit" = { | ||
depends = [ | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."free" or (errorHandler.buildDepError "free")) | ||
(hsPkgs."futhark" or (errorHandler.buildDepError "futhark")) | ||
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
52 changes: 52 additions & 0 deletions
52
...-manifest-1.5.0.0-r0-65c70a71d5a6a00035031e9c248dd888ff99f842523fd21ba2c064b3221b9fbe.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,52 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "futhark-manifest"; version = "1.5.0.0"; }; | ||
license = "ISC"; | ||
copyright = ""; | ||
maintainer = "[email protected]"; | ||
author = "Troels Henriksen"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Definition and serialisation instances for Futhark manifests."; | ||
description = "The Futhark compiler generates JSON manifest files that describe the C API of a compiled program. This package provides definitions for reading and writing such files."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"futhark-data-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."futhark-manifest" or (errorHandler.buildDepError "futhark-manifest")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.