diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-29 21:26:07 +0100 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-29 21:35:06 +0100 |
| commit | b03c6a4e9a3e3a1573c2957cd7376fffc3642710 (patch) | |
| tree | 04cef85190b830f9cb1626428c0707178393092f /pkgs/applications/science | |
| parent | 5139a600bd11826134a6c2879d643399cef8c85a (diff) | |
| download | nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.tar nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.tar.gz nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.tar.bz2 nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.tar.lz nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.tar.xz nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.tar.zst nixlib-b03c6a4e9a3e3a1573c2957cd7376fffc3642710.zip | |
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 = '' |