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

kind2: fix build

Browse Source
This commit is contained in:
Noa Aarts 2024-11-15 19:19:09 +01:00
parent 479c243169
commit a015a1fef3
No known key found for this signature in database
GPG Key ID: 1850932741EFF672
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
];