diff options
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 |