Unverified Commit a53894b5 authored by Pol Dellaiera's avatar Pol Dellaiera Committed by GitHub
Browse files

Merge pull request #288470 from McSinyx/stp-u8 

stp: fix build failure
parents 6a3e1122 b63babd5

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

+7 −1
Original line number Diff line number Diff line
@@ -11,6 +11,12 @@ stdenv.mkDerivation rec { 
    rev    = version;

    sha256 = "1yg2v4wmswh1sigk47drwsxyayr472mf4i47lqmlcgn9hhbx1q87";

  };

  patches = [

    # Fix missing type declaration

    # due to undeterminisitic compilation

    # of circularly dependent headers

    ./stdint.patch

  ];



  postPatch = ''

    # Upstream fix for gcc-13 support:
@@ -34,7 +40,7 @@ stdenv.mkDerivation rec { 


  meta = with lib; {

    description = "Simple Theorem Prover";

    maintainers = with maintainers; [ ];

    maintainers = with maintainers; [ McSinyx ];

    platforms = platforms.linux;

    license = licenses.mit;

  };

pkgs/applications/science/logic/stp/stdint.patch

0 → 100644
+16 −0
Original line number Diff line number Diff line 
diff --git a/include/stp/AST/ASTNode.h b/include/stp/AST/ASTNode.h

index 91acd726182c..0a17db23ffbf 100644

--- a/include/stp/AST/ASTNode.h

+++ b/include/stp/AST/ASTNode.h

@@ -24,9 +24,10 @@ THE SOFTWARE.

 #ifndef ASTNODE_H

 #define ASTNODE_H

 

+#include "stp/AST/ASTInternal.h"

 #include "stp/AST/NodeFactory/HashingNodeFactory.h"

+#include "stp/AST/UsefulDefs.h"

 #include "stp/Util/Attributes.h"

-#include "ASTInternal.h"

 #include "stp/Globals/Globals.h"

 

 namespace stp