Unverified Commit b63babd5 authored by Nguyễn Gia Phong's avatar Nguyễn Gia Phong
Browse files

stp: fix build failure

parent 2d627a2a

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

  ];



  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;

  };

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