ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-26 12:53:59 +03:00
Code Issues Projects Releases Wiki Activity

Added Haskell packages kansas-lava 0.2.4, netlist-to-vhdl 0.3.1, netlist 0.3.1, and sized-types 0.3.4.0.

Browse Source
This commit is contained in:
Peter Simons 2012-12-06 10:54:56 +01:00
parent ea58608726
commit 0dcbfcc975
5 changed files with 71 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/development/libraries/haskell/kansas-lava/default.nix Normal file
View File

@ -0,0 +1,22 @@
{ cabal, cmdargs, dataDefault, dataReify, dotgen, filepath, netlist
, netlistToVhdl, random, sizedTypes, strict
}:
cabal.mkDerivation (self: {
pname = "kansas-lava";
version = "0.2.4";
sha256 = "0rsjlj558k57r1sfm12n9r9wn8r615bbrwgjhal07qhvy4qip4pg";
isLibrary = true;
isExecutable = true;
buildDepends = [
cmdargs dataDefault dataReify dotgen filepath netlist netlistToVhdl
random sizedTypes strict
];
jailbreak = true;
meta = {
homepage = "http://ittc.ku.edu/csdl/fpg/Tools/KansasLava";
description = "Kansas Lava is a hardware simulator and VHDL generator";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

13
pkgs/development/libraries/haskell/netlist-to-vhdl/default.nix Normal file
View File

@ -0,0 +1,13 @@
{ cabal, netlist }:
cabal.mkDerivation (self: {
pname = "netlist-to-vhdl";
version = "0.3.1";
sha256 = "15daik7l0pjqilya01l5rl84g2fyjwkap1md0nx82gxcp8m1v76k";
buildDepends = [ netlist ];
meta = {
description = "Convert a Netlist AST to VHDL";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

13
pkgs/development/libraries/haskell/netlist/default.nix Normal file
View File

@ -0,0 +1,13 @@
{ cabal, binary, syb }:
cabal.mkDerivation (self: {
pname = "netlist";
version = "0.3.1";
sha256 = "0f3fwgpg0p3ajgxfzbqr4z04ly5cdbhjxms5xbd0k2ixdwgyxm67";
buildDepends = [ binary syb ];
meta = {
description = "Netlist AST";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

15
pkgs/development/libraries/haskell/sized-types/default.nix Normal file
View File

@ -0,0 +1,15 @@
{ cabal }:
cabal.mkDerivation (self: {
pname = "sized-types";
version = "0.3.4.0";
sha256 = "0fpk7xpqzzylxbnxhz56lxzfnrhfibn0x7ahxl91x6biysnh714c";
isLibrary = true;
isExecutable = true;
meta = {
homepage = "http://www.ittc.ku.edu/csdl/fpg/Tools";
description = "Sized types in Haskell";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

8
pkgs/top-level/haskell-packages.nix
View File

@ -1098,6 +1098,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
jsonTypes = callPackage ../development/libraries/haskell/jsonTypes {};
kansasLava = callPackage ../development/libraries/haskell/kansas-lava {};
languageC_0_4_2 = callPackage ../development/libraries/haskell/language-c/0.4.2.nix {};
languageC_0_3_2_1 = callPackage ../development/libraries/haskell/language-c/0.3.2.1.nix {};
languageC = self.languageC_0_4_2;
@ -1223,6 +1225,10 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
NanoProlog = callPackage ../development/libraries/haskell/NanoProlog {};
netlist = callPackage ../development/libraries/haskell/netlist {};
netlistToVhdl = callPackage ../development/libraries/haskell/netlist-to-vhdl {};
network_2_2_1_4 = callPackage ../development/libraries/haskell/network/2.2.1.4.nix {};
network_2_2_1_7 = callPackage ../development/libraries/haskell/network/2.2.1.7.nix {};
network_2_3_0_2 = callPackage ../development/libraries/haskell/network/2.3.0.2.nix {};
@ -1473,6 +1479,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
silently = callPackage ../development/libraries/haskell/silently {};
sizedTypes = callPackage ../development/libraries/haskell/sized-types {};
skein = callPackage ../development/libraries/haskell/skein {};
smallcheck = callPackage ../development/libraries/haskell/smallcheck {};