Commit b531de72 authored by Sergei Trofimovich's avatar Sergei Trofimovich
Browse files

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;
          |   ^~~~~~~
parent 442d4079

pkgs/applications/science/logic/stp/default.nix

+8 −0
Original line number Diff line number Diff line
@@ -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 = ''