Unverified Commit fbc8fcaa authored by Robert Scott's avatar Robert Scott Committed by GitHub
Browse files

Merge pull request #234460 from risicle/ris-sharpsat-td-initial-fix 

sharpsat-td: patch with updated version of mpreal/mpfrc++
parents f5a098d3 2c9bea0e

pkgs/applications/science/logic/sharpsat-td/default.nix

+20 −1
Original line number Diff line number Diff line 
{ lib, stdenv, fetchFromGitHub, fetchzip, cmake, gmp, mpfr }:

{ lib

, stdenv

, fetchFromGitHub

, fetchzip

, cmake

, gmp

, mpfr

}:



let

  satlib-bmc = fetchzip {
@@ -7,6 +14,14 @@ let 
    sha256 = "sha256-F1Jfrj4iMMf/3LFCShIDMs4JfLkJ51Z4wkL1FDT9b/A=";

  };



  # needed for mpfr 4.2.0+ support

  mpreal = fetchFromGitHub {

    owner = "advanpix";

    repo = "mpreal";

    rev = "mpfrc++-3.6.9";

    sha256 = "sha256-l61SKEx4pBocADrEGPVacQ6F2ep9IuvNZ8W08dKeZKg=";

  };



in stdenv.mkDerivation rec {

  pname = "sharpsat-td";

  version = "unstable-2021-09-05";
@@ -27,6 +42,10 @@ in stdenv.mkDerivation rec { 
      --replace '"../../../flow-cutter-pace17/flow_cutter_pace17"' '"'"$out"'/bin/flow_cutter_pace17"'

    substituteInPlace src/preprocessor/treewidth.cpp \

      --replace '"./flow_cutter_pace17"' '"'"$out"'/bin/flow_cutter_pace17"'



    # replace bundled version of mpreal/mpfrc++

    rm -r src/mpfr

    cp -r ${mpreal} src/mpfr

  '';



  nativeBuildInputs = [ cmake ];