diff options
| author | Sergei Trofimovich <slyich@gmail.com> | 2024-02-09 22:43:16 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyich@gmail.com> | 2024-02-09 22:43:16 +0000 |
| commit | b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9 (patch) | |
| tree | 2cefe87e0f6d21d4b255623335588a6b1ec98bb5 /pkgs/applications/science/logic | |
| parent | 442d407992384ed9c0e6d352de75b69079904e4e (diff) | |
| download | nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.gz nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.bz2 nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.lz nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.xz nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.zst nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.zip | |
stp: fix the build against `gcc-13`
Without the change the build fails on `master` as
https://hydra.nixos.org/build/247636021:
/build/source/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type
77 | uint8_t getIteration() const;
| ^~~~~~~
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index 42926a870816..e27a1ccd98c2 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -12,6 +12,14 @@ stdenv.mkDerivation rec { sha256 = "1yg2v4wmswh1sigk47drwsxyayr472mf4i47lqmlcgn9hhbx1q87"; }; + postPatch = '' + # Upstream fix for gcc-13 support: + # https://github.com/stp/stp/pull/462 + # Can't apply it as is as patch context changed in ither patches. + # TODO: remove me on 2.4 release + sed -e '1i #include <cstdint>' -i include/stp/AST/ASTNode.h + ''; + buildInputs = [ boost zlib minisat cryptominisat python3 ]; nativeBuildInputs = [ cmake bison flex perl ]; preConfigure = '' |