2014-07-14 11:21:41 +00:00
|
|
|
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
|
|
|
|
|
2012-12-06 09:54:56 +00:00
|
|
|
{ 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;
|
2014-08-20 17:34:45 +00:00
|
|
|
hydraPlatforms = self.stdenv.lib.platforms.none;
|
2012-12-06 09:54:56 +00:00
|
|
|
};
|
|
|
|
|
})
|
