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/top-level | |
| 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/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3103ff9016ee..6688d7860d64 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -39613,7 +39613,7 @@ with pkgs; avy = callPackage ../applications/science/logic/avy { }; - btor2tools = pin-to-gcc12-if-gcc13 (callPackage ../applications/science/logic/btor2tools { }); + btor2tools = callPackage ../applications/science/logic/btor2tools { }; boolector = callPackage ../applications/science/logic/boolector { stdenv = if stdenv.cc.isClang then overrideLibcxx llvmPackages_14.stdenv else stdenv; |