diff options
| author | Nick Cao <nickcao@nichi.co> | 2024-01-30 09:04:32 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-30 09:04:32 -0500 |
| commit | 1d852c8b673339dc11541e7e5f59b4cc63995b0f (patch) | |
| tree | eedb6454af8b0c74add074bca902642e8e8d4f91 /pkgs/applications/science | |
| parent | 8d2bca2b2a2b2f902c506300853c0e440ea052aa (diff) | |
| parent | b03c6a4e9a3e3a1573c2957cd7376fffc3642710 (diff) | |
| download | nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.tar nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.tar.gz nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.tar.bz2 nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.tar.lz nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.tar.xz nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.tar.zst nixlib-1d852c8b673339dc11541e7e5f59b4cc63995b0f.zip | |
Merge pull request #284834 from wegank/btor2tools-gcc-13
btor2tools: fix build with gcc 13
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/btor2tools/default.nix | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/btor2tools/default.nix b/pkgs/applications/science/logic/btor2tools/default.nix index 0cb9c8037cb2..ce73ea636f29 100644 --- a/pkgs/applications/science/logic/btor2tools/default.nix +++ b/pkgs/applications/science/logic/btor2tools/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, cmake, fetchFromGitHub, fixDarwinDylibNames }: +{ lib, stdenv, cmake, fetchFromGitHub, fetchpatch, fixDarwinDylibNames }: stdenv.mkDerivation rec { pname = "btor2tools"; @@ -11,6 +11,14 @@ stdenv.mkDerivation rec { sha256 = "0mfqmkgvyw8fa2c09kww107dmk180ch1hp98r5kv41vnc04iqb0s"; }; + patches = [ + (fetchpatch { + name = "gcc-13.patch"; + url = "https://github.com/Boolector/btor2tools/commit/037f1fa88fb439dca6f648ad48a3463256d69d8b.patch"; + hash = "sha256-FX1yy9XdUs1tAReOxhEzNHu48DrISzNNMSYoIrhHoFY="; + }) + ]; + nativeBuildInputs = [ cmake ] ++ lib.optional stdenv.isDarwin fixDarwinDylibNames; installPhase = '' |