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

[Backport release-24.11] kind2: fix build (#356399)

Browse Source
This commit is contained in:
Nick Cao 2024-11-17 09:15:45 -05:00 committed by GitHub
commit d552af2846
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,8 +1,9 @@
{ lib
, rustPlatform
, fetchCrate
, stdenv
, darwin
{
lib,
rustPlatform,
fetchCrate,
stdenv,
darwin,
}:
rustPlatform.buildRustPackage rec {
@ -16,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
];