UHDM: init at 2022.05.15
This commit is contained in:
@@ -0,0 +1,43 @@
|
||||
{ lib
|
||||
, stdenv
|
||||
, fetchFromGitHub
|
||||
, cmake
|
||||
, python3
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "UHDM";
|
||||
version = "2022.05.15";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "chipsalliance";
|
||||
repo = pname;
|
||||
rev = "18ec4cce8c9414c135dc0e69155f777195dfe328";
|
||||
hash = "sha256-ZWeMHHqgpdYlYzhRdTLXCe07dh0Pe8/ylU5TO3cAOmA=";
|
||||
fetchSubmodules = true;
|
||||
};
|
||||
|
||||
nativeBuildInputs = [
|
||||
cmake
|
||||
];
|
||||
|
||||
buildInputs = [
|
||||
(python3.withPackages (p: with p; [ orderedmultidict ]))
|
||||
];
|
||||
|
||||
doCheck = true;
|
||||
checkPhase = "make test";
|
||||
|
||||
postInstall = ''
|
||||
mv $out/lib/uhdm/* $out/lib/
|
||||
rm -rf $out/lib/uhdm
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "Universal Hardware Data Model";
|
||||
homepage = "https://github.com/chipsalliance/UHDM";
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = with lib.maintainers; [ matthuszagh ];
|
||||
platforms = lib.platforms.all;
|
||||
};
|
||||
}
|
||||
@@ -33417,6 +33417,8 @@ with pkgs;
|
||||
|
||||
symfpu = callPackage ../applications/science/logic/symfpu {};
|
||||
|
||||
uhdm = callPackage ../applications/science/logic/uhdm {};
|
||||
|
||||
mcy = callPackage ../applications/science/logic/mcy {};
|
||||
|
||||
lingeling = callPackage ../applications/science/logic/lingeling {};
|
||||
|
||||
Reference in New Issue
Block a user