diff options
author | Robert Schütz <nix@dotlambda.de> | 2022-11-12 20:07:20 -0800 |
---|---|---|
committer | Robert Schütz <nix@dotlambda.de> | 2022-11-12 20:07:20 -0800 |
commit | 61c207555ba1b893cdc728ae983e1cba7c7cb854 (patch) | |
tree | f4005483481ae062cad97b5e6f7c9ed96375fe9d /pkgs/applications/science/electronics/hal-hardware-analyzer | |
parent | b47c14bd9428543d7e75776122516e47790f4a97 (diff) |
hal-hardware-analyzer: use igraph 0.9
Diffstat (limited to 'pkgs/applications/science/electronics/hal-hardware-analyzer')
-rw-r--r-- | pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix b/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix index cf073d89be7a4..4492555af0c4d 100644 --- a/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix +++ b/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix @@ -17,9 +17,27 @@ , llvmPackages , z3 , fmt_8 +, suitesparse }: let + igraph' = igraph.overrideAttrs (old: rec { + version = "0.9.10"; + src = fetchFromGitHub { + owner = "igraph"; + repo = "igraph"; + rev = version; + hash = "sha256-prDadHsNhDRkNp1i0niKIYxE0g85Zs0ngvUy6uK8evk="; + }; + postPatch = old.postPatch + lib.optionalString stdenv.isAarch64 '' + # https://github.com/igraph/igraph/issues/1694 + substituteInPlace tests/CMakeLists.txt \ + --replace "igraph_scg_grouping3" "" \ + --replace "igraph_scg_semiprojectors2" "" + ''; + buildInputs = old.buildInputs ++ [ suitesparse ]; + cmakeFlags = old.cmakeFlags ++ [ "-DIGRAPH_USE_INTERNAL_CXSPARSE=OFF" ]; + }); # no stable hal release yet with recent spdlog/fmt support, remove # once 4.0.0 is released - see https://github.com/emsec/hal/issues/452 spdlog' = spdlog.override { @@ -64,7 +82,7 @@ in stdenv.mkDerivation rec { ''; nativeBuildInputs = [ cmake ninja pkg-config ]; - buildInputs = [ qtbase qtsvg boost rapidjson igraph spdlog' graphviz wrapQtAppsHook z3 ] + buildInputs = [ qtbase qtsvg boost rapidjson igraph' spdlog' graphviz wrapQtAppsHook z3 ] ++ (with python3Packages; [ python pybind11 ]) ++ lib.optional stdenv.cc.isClang llvmPackages.openmp; |