diff options
author | Matt Huszagh <huszaghmatt@gmail.com> | 2022-05-15 15:05:27 -0700 |
---|---|---|
committer | Matt Huszagh <huszaghmatt@gmail.com> | 2022-05-15 21:35:07 -0700 |
commit | 2dcb43e59a0829fdb8996acb44fabce77edacb59 (patch) | |
tree | c065ccc834420fbd023b6a8f0402861c2247d608 /pkgs | |
parent | 2f9cebbb41131cc03a43c703a98a65b0736d01d4 (diff) |
Surelog: init at 2022.05.15
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/surelog/default.nix | 49 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 51 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/surelog/default.nix b/pkgs/applications/science/logic/surelog/default.nix new file mode 100644 index 0000000000000..f6eeee62aabf5 --- /dev/null +++ b/pkgs/applications/science/logic/surelog/default.nix @@ -0,0 +1,49 @@ +{ lib +, stdenv +, fetchFromGitHub +, cmake +, python3 +, pkg-config +, libuuid +, openjdk11 +}: + +stdenv.mkDerivation rec { + pname = "Surelog"; + version = "2022.05.15"; + + src = fetchFromGitHub { + owner = "chipsalliance"; + repo = pname; + rev = "15d3698ca5c7d45dd95b58c15e76131420cb001c"; + hash = "sha256-dfje9yZ8ZR7x1EUxDUpKNcOWKYTPwPG6T4HzudV59R4="; + fetchSubmodules = true; + }; + + nativeBuildInputs = [ + cmake + pkg-config + ]; + + buildInputs = [ + libuuid + openjdk11 + (python3.withPackages (p: with p; [ + psutil + orderedmultidict + ])) + ]; + + postInstall = '' + mv $out/lib/surelog/* $out/lib/ + rm -rf $out/lib/surelog + ''; + + meta = { + description = "SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler"; + homepage = "https://github.com/chipsalliance/Surelog"; + 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 51926ea5b2b7a..33c8a6a2755d4 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -33419,6 +33419,8 @@ with pkgs; uhdm = callPackage ../applications/science/logic/uhdm {}; + surelog = callPackage ../applications/science/logic/surelog {}; + mcy = callPackage ../applications/science/logic/mcy {}; lingeling = callPackage ../applications/science/logic/lingeling {}; |