Unverified Commit 51acb421 authored by Sandro Jäckel's avatar Sandro Jäckel Committed by GitHub
Browse files

Merge pull request #327037 from numinit/stp-fix-setuptools

parents 60dcc5f0 6be4dbd2

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

+31 −7
Original line number Diff line number Diff line 
{ lib, stdenv, cmake, boost, bison, flex, fetchFromGitHub, perl

, python3, python3Packages, zlib, minisat, cryptominisat }:

{ lib

, stdenv

, cmake

, boost

, bison

, flex

, fetchFromGitHub

, fetchpatch

, perl

, python3

, zlib

, minisat

, cryptominisat

}:



stdenv.mkDerivation rec {

  pname = "stp";
@@ -9,13 +21,19 @@ stdenv.mkDerivation rec { 
    owner = "stp";

    repo = "stp";

    rev = version;

    sha256 = "1yg2v4wmswh1sigk47drwsxyayr472mf4i47lqmlcgn9hhbx1q87";

    hash = "sha256-B+HQF4TJPkYrpodE4qo4JHvlu+a5HTJf1AFyXTnZ4vk=";

  };

  patches = [

    # Fix missing type declaration

    # due to undeterminisitic compilation

    # of circularly dependent headers

    ./stdint.patch



    # Python 3.12+ compatibility for build: https://github.com/stp/stp/pull/450

    (fetchpatch {

      url = "https://github.com/stp/stp/commit/fb185479e760b6ff163512cb6c30ac9561aadc0e.patch";

      hash = "sha256-guFgeWOrxRrxkU7kMvd5+nmML0rwLYW196m1usE2qiA=";

    })

  ];



  postPatch = ''
@@ -26,10 +44,16 @@ stdenv.mkDerivation rec { 
    sed -e '1i #include <cstdint>' -i include/stp/AST/ASTNode.h

  '';



  buildInputs = [ boost zlib minisat cryptominisat python3 ];

  buildInputs = [

    boost

    zlib

    minisat

    cryptominisat

    python3

  ];

  nativeBuildInputs = [ cmake bison flex perl ];

  preConfigure = ''

    python_install_dir=$out/${python3Packages.python.sitePackages}

    python_install_dir=$out/${python3.sitePackages}

    mkdir -p $python_install_dir

    cmakeFlagsArray=(

      $cmakeFlagsArray
@@ -40,7 +64,7 @@ stdenv.mkDerivation rec { 


  meta = with lib; {

    description = "Simple Theorem Prover";

    maintainers = with maintainers; [ McSinyx ];

    maintainers = with maintainers; [ McSinyx numinit ];

    platforms = platforms.linux;

    license = licenses.mit;

  };