diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-02-15 23:07:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-15 23:07:44 +0100 |
commit | a53894b556182f400fa4be4ff43a41c11cb4cf20 (patch) | |
tree | 55bd8a7a8b56e38fb165ab376d8f1a39f089924a /pkgs/applications/science | |
parent | 6a3e1122afaecec120d060336e3362b255709a46 (diff) | |
parent | b63babd55d60a05dc191339e0f9e6feaa0785bc1 (diff) |
Merge pull request #288470 from McSinyx/stp-u8
stp: fix build failure
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 8 | ||||
-rw-r--r-- | pkgs/applications/science/logic/stp/stdint.patch | 16 |
2 files changed, 23 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index e27a1ccd98c2b..fb41ea07f5a15 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -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; }; diff --git a/pkgs/applications/science/logic/stp/stdint.patch b/pkgs/applications/science/logic/stp/stdint.patch new file mode 100644 index 0000000000000..6595d55617315 --- /dev/null +++ b/pkgs/applications/science/logic/stp/stdint.patch @@ -0,0 +1,16 @@ +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 |