From 2f9cebbb41131cc03a43c703a98a65b0736d01d4 Mon Sep 17 00:00:00 2001 From: Matt Huszagh Date: Sun, 15 May 2022 14:41:01 -0700 Subject: [PATCH] UHDM: init at 2022.05.15 --- .../science/logic/uhdm/default.nix | 43 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 2 + 2 files changed, 45 insertions(+) create mode 100644 pkgs/applications/science/logic/uhdm/default.nix diff --git a/pkgs/applications/science/logic/uhdm/default.nix b/pkgs/applications/science/logic/uhdm/default.nix new file mode 100644 index 000000000000..6e5ad9c6bfeb --- /dev/null +++ b/pkgs/applications/science/logic/uhdm/default.nix @@ -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; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 54d17be1214d..51926ea5b2b7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 {};