diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2024-02-13 16:21:09 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-02-13 16:41:23 +0900 |
commit | b63babd55d60a05dc191339e0f9e6feaa0785bc1 (patch) | |
tree | 80519ed1238727bd62fb7da0e3add2809a4d3552 | |
parent | 2d627a2a704708673e56346fcb13d25344b8eaf3 (diff) |
stp: fix build failure
-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 42926a870816b..4646f7178f560 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 + ]; buildInputs = [ boost zlib minisat cryptominisat python3 ]; nativeBuildInputs = [ cmake bison flex perl ]; @@ -26,7 +32,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 |