nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 06:53:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

kind2: fix build

Browse Source 
(cherry picked from commit a015a1fef3)
This commit is contained in:
Noa Aarts 2024-11-15 19:19:09 +01:00 committed by github-actions[bot]
parent ec7fecf07e
commit 3a3a5c325c
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/compilers/kind2/default.nix
View File

@ -17,6 +17,13 @@ rustPlatform.buildRustPackage rec {
cargoHash = "sha256-KzoEh/kMKsHx9K3t1/uQZ7fdsZEM+v8UOft8JjEB1Zw=";
postPatch = ''
substituteInPlace src/main.rs \
--replace-fail "#![feature(panic_info_message)]" ""
substituteInPlace src/main.rs \
--replace-fail "e.message().unwrap()" "e.payload()"
'';
buildInputs = lib.optionals stdenv.hostPlatform.isDarwin [
darwin.apple_sdk_11_0.frameworks.Security
];