Unverified Commit b921ac91 authored by Christoph Jabs's avatar Christoph Jabs
Browse files

python3Packages.python-sat: 1.8.dev20 -> 1.8.dev24

parent c01d7fbe

pkgs/development/python-modules/python-sat/default.nix

+2 −10
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ 
}:

buildPythonPackage rec {

  pname = "python-sat";

  version = "1.8.dev20";

  version = "1.8.dev24";

  pyproject = true;



  build-system = [ setuptools ];
@@ -17,17 +17,9 @@ buildPythonPackage rec { 
  src = fetchPypi {

    inherit version;

    pname = "python_sat";

    hash = "sha256-8uUi6DtPVh/87EWSgTtGq7UhAs+Glw8KARPkK3ukeMg=";

    hash = "sha256-f9NnaPcHdNNInWTvpkg91ieaYejJ29kAAOLcbnbDmM0=";

  };



  # Fix hard-coded g++ reference for darwin, where stdenv uses clang

  # FIXME: remove once https://github.com/pysathq/pysat/pull/204 is merged and

  # has hit PyPI

  postPatch = ''

    substituteInPlace solvers/patches/glucose421.patch \

      --replace-fail "+CXX      := g++" "+CXX      := c++"

  '';



  preBuild = ''

    export MAKEFLAGS="-j$NIX_BUILD_CORES"

  '';