diff options
| author | Henner Zeller <h.zeller@acm.org> | 2023-10-14 16:52:15 -0700 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2023-10-15 09:30:13 -0500 |
| commit | 10e4eb07ad6e588eb7fdd133683ce255ec121ae5 (patch) | |
| tree | f74703d8f2516c41d3a107f632fda13aa1037972 /pkgs/applications/science/logic | |
| parent | b2dad8840aecbf40c89040e4d940dd6ad23e82dd (diff) | |
| download | nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.tar nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.tar.gz nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.tar.bz2 nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.tar.lz nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.tar.xz nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.tar.zst nixpkgs-10e4eb07ad6e588eb7fdd133683ce255ec121ae5.zip | |
surelog: 1.73 -> 1.76
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/surelog/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/surelog/default.nix b/pkgs/applications/science/logic/surelog/default.nix index d8c762de60c..5c7be408bf4 100644 --- a/pkgs/applications/science/logic/surelog/default.nix +++ b/pkgs/applications/science/logic/surelog/default.nix @@ -11,17 +11,18 @@ , uhdm , antlr4 , capnproto +, nlohmann_json }: stdenv.mkDerivation (finalAttrs: { pname = "surelog"; - version = "1.73"; + version = "1.76"; src = fetchFromGitHub { owner = "chipsalliance"; repo = finalAttrs.pname; rev = "v${finalAttrs.version}"; - hash = "sha256-z47Eqs3fP53pbEb3s66CqMiO4UpEwox+fKakxtRBakQ="; + hash = "sha256-Vg9NZrgzFRVIsEbZQe8DItDhFOVG1XZoQWBrLzVNwLU="; fetchSubmodules = false; # we use all dependencies from nix }; @@ -43,6 +44,7 @@ stdenv.mkDerivation (finalAttrs: { uhdm capnproto antlr4.runtime.cpp + nlohmann_json ]; cmakeFlags = [ @@ -50,6 +52,7 @@ stdenv.mkDerivation (finalAttrs: { "-DSURELOG_USE_HOST_UHDM=On" "-DSURELOG_USE_HOST_GTEST=On" "-DSURELOG_USE_HOST_ANTLR=On" + "-DSURELOG_USE_HOST_JSON=On" "-DANTLR_JAR_LOCATION=${antlr4.jarLocation}" ]; |