Unverified Commit 4585b48c authored by Peder Bergebakken Sundt's avatar Peder Bergebakken Sundt Committed by GitHub
Browse files

python3Packages.python-sat: 0.1.7.dev1 -> 0.1.8.dev17 (#408996)

parents 5c376132 ae1e6c46

maintainers/maintainer-list.nix

+7 −0
Original line number Diff line number Diff line
@@ -4628,6 +4628,13 @@ 
    githubId = 2245737;

    name = "Christopher Mark Poole";

  };

  chrjabs = {

    email = "contact@christophjabs.info";

    github = "chrjabs";

    githubId = 98587286;

    name = "Christoph Jabs";

    keys = [ { fingerprint = "47D6 1FEB CD86 F3EC D2E3  D68A 83D0 74F3 48B2 FD9D"; } ];

  };

  chrpinedo = {

    github = "chrpinedo";

    githubId = 2324630;

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

+11 −17
Original line number Diff line number Diff line
@@ -6,17 +6,16 @@ 
  pypblib,

  pytestCheckHook,

}:



buildPythonPackage rec {

  pname = "python-sat";

  version = "0.1.7.dev1";

  version = "0.1.8.dev17";

  format = "setuptools";



  src = fetchFromGitHub {

    owner = "pysathq";

    repo = "pysat";

    rev = version;

    hash = "sha256-zGdgD+SgoMB7/zDQI/trmV70l91TB7OkDxaJ30W3dkI=";

    rev = "a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0"; # upstream does not tag releases

    hash = "sha256-FG6oAAI8XKXumj6Ys2QjjYcRp1TpwkUZzyfpkdq5V6E=";

  };



  propagatedBuildInputs = [
@@ -26,23 +25,18 @@ buildPythonPackage rec { 


  nativeCheckInputs = [ pytestCheckHook ];



  # https://github.com/pysathq/pysat/pull/102

  postPatch = ''

        # Fix for case-insensitive filesystem

        cat >>solvers/patches/cadical.patch <<EOF

    diff --git solvers/cadical/VERSION solvers/cdc/VERSION

    deleted file mode 100644

    --- solvers/cadical/VERSION

    +++ /dev/null

    @@ -1 +0,0 @@

    -1.0.3

    EOF

  '';

  disabledTestPaths = [ "tests/test_unique_mus.py" ];



  meta = with lib; {

    description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";

    homepage = "https://github.com/pysathq/pysat";

    changelog = "https://pysathq.github.io/updates/";

    license = licenses.mit;

    maintainers = [ maintainers.marius851000 ];

    maintainers = [

      maintainers.marius851000

      maintainers.chrjabs

    ];

    platforms = lib.platforms.all;

    badPlatforms = lib.platforms.darwin ++ [ "i686-linux" ];

  };

}