Unverified Commit 46a93d07 authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #287601 from trofi/stp-gcc-13-fix 

stp: fix the build against `gcc-13`
parents d314410c b531de72

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 = ''