Unverified Commit 286e27c1 authored by GenericNerdyUsername's avatar GenericNerdyUsername Committed by Sandro Jäckel
Browse files

python3Packages.simplesat: init at 0.8.2

parent 601006e6
Loading
Loading
Loading
Loading
+48 −0
Original line number Diff line number Diff line
{ buildPythonPackage
, fetchFromGitHub
, writeText
, lib
, attrs
, six
, okonomiyaki
}:

let
  version = "0.8.2";

  versionFile = writeText "simplesat_ver" ''
    version = '${version}'
    full_version = '${version}'
    git_revision = '0000000000000000000000000000000000000000'
    is_released = True
    msi_version = '${version}.000'
    version_info = (${lib.versions.major version}, ${lib.versions.minor version}, ${lib.versions.patch version}, 'final', 0)
  '';

in buildPythonPackage rec {
  pname = "simplesat";
  inherit version;

  propagatedBuildInputs = [ attrs six okonomiyaki ];

  src = fetchFromGitHub {
    owner = "enthought";
    repo = "sat-solver";
    rev = "v${version}";
    hash = "sha256-6BQn1W2JGrMmNqgxi+sXx06XzNMcvwqYGMkpD0SSpT8=";
  };

  preConfigure = ''
    cp ${versionFile} simplesat/_version.py
  '';
  dontUseSetuptoolsCheck = true;

  pythonImportsCheck = [ "simplesat" ];

  meta = with lib; {
    homepage = "https://github.com/enthought/sat-solver";
    description = "Prototype for SAT-based dependency handling";
    maintainers = with maintainers; [ genericnerdyusername ];
    license = licenses.bsd3;
  };
}
+2 −0
Original line number Diff line number Diff line
@@ -11039,6 +11039,8 @@ self: super: with self; {

  simplenote = callPackage ../development/python-modules/simplenote { };

  simplesat = callPackage ../development/python-modules/simplesat { };

  simple-di = callPackage ../development/python-modules/simple-di { };

  simple-rest-client = callPackage ../development/python-modules/simple-rest-client { };