-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Automatic update for Sun Jul 12 01:16:24 UTC 2020
- Loading branch information
IOHK
committed
Jul 12, 2020
1 parent
8279a58
commit 321c4b4
Showing
17 changed files
with
1,172 additions
and
0 deletions.
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
45 changes: 45 additions & 0 deletions
45
...p-prelude-0.4.0.0-r0-836136a1f06b945e93627055ab8d91169fffc8a3fdf832ffb27701d153b403c2.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,45 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "aop-prelude"; version = "0.4.0.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "cutsea110@gmail.com"; | ||
author = "cutsea110"; | ||
homepage = "https://github.com/cutsea110/aop-prelude.git"; | ||
url = ""; | ||
synopsis = "prelude for Algebra of Programming"; | ||
description = "prelude for Algenra of Programming, the original code was created by Richard Bird."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"aop-prelude-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(hsPkgs."aop-prelude" or (errorHandler.buildDepError "aop-prelude")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
88 changes: 88 additions & 0 deletions
88
...e/clash-ghc-1.2.3-r0-ed89207dfc136be485121eae410dd5c7fad86448f259909781bdfde69bd07ac2.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,88 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { dynamic = false; use-ghc-paths = false; }; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "clash-ghc"; version = "1.2.3"; }; | ||
license = "BSD-2-Clause"; | ||
copyright = "Copyright © 2012-2016, University of Twente,\n2016-2017, Myrtle Software Ltd,\n2017-2019, QBayLogic B.V., Google Inc."; | ||
maintainer = "QBayLogic B.V. <devops@qbaylogic.com>"; | ||
author = "The Clash Authors"; | ||
homepage = "https://clash-lang.org/"; | ||
url = ""; | ||
synopsis = "CAES Language for Synchronous Hardware"; | ||
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>"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = (([ | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."split" or (errorHandler.buildDepError "split")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib")) | ||
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude")) | ||
(hsPkgs."concurrent-supply" or (errorHandler.buildDepError "concurrent-supply")) | ||
(hsPkgs."ghc-typelits-extra" or (errorHandler.buildDepError "ghc-typelits-extra")) | ||
(hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat")) | ||
(hsPkgs."ghc-typelits-natnormalise" or (errorHandler.buildDepError "ghc-typelits-natnormalise")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(hsPkgs."ghci" or (errorHandler.buildDepError "ghci")) | ||
(hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate")) | ||
(hsPkgs."reflection" or (errorHandler.buildDepError "reflection")) | ||
(hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp")) | ||
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "8.10.0") (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))) ++ (pkgs.lib).optional (flags.use-ghc-paths) (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths"))) ++ (if system.isWindows | ||
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ] | ||
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); | ||
buildable = true; | ||
}; | ||
exes = { | ||
"clash" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc")) | ||
]; | ||
libs = [ (pkgs."pthread" or (errorHandler.sysDepError "pthread")) ]; | ||
buildable = true; | ||
}; | ||
"clashi" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc")) | ||
]; | ||
libs = [ (pkgs."pthread" or (errorHandler.sysDepError "pthread")) ]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.