python310Packages.pysmt: 0.9.1.dev132 -> 0.9.5
This commit is contained in:
parent
fe04d2c054
commit
37084f7451
|
@ -1,23 +1,31 @@
|
||||||
{ lib
|
{ lib
|
||||||
, buildPythonPackage
|
, buildPythonPackage
|
||||||
, fetchPypi
|
, fetchFromGitHub
|
||||||
|
, pytestCheckHook
|
||||||
|
, pythonOlder
|
||||||
}:
|
}:
|
||||||
|
|
||||||
buildPythonPackage rec {
|
buildPythonPackage rec {
|
||||||
pname = "pysmt";
|
pname = "pysmt";
|
||||||
version = "0.9.1.dev132";
|
version = "0.9.5";
|
||||||
format = "wheel"; # dev versions are only distributed as wheels
|
format = "setuptools";
|
||||||
|
|
||||||
src = fetchPypi {
|
disabled = pythonOlder "3.7";
|
||||||
pname = "PySMT";
|
|
||||||
inherit format version;
|
src = fetchFromGitHub {
|
||||||
sha256 = "01iqs7yzms3alf1rdv0gnsnmfp7g8plkjcdqbari258zp4llf6x7";
|
owner = "pysmt";
|
||||||
|
repo = pname;
|
||||||
|
rev = "v${version}";
|
||||||
|
hash = "sha256-cE+WmKzggYof/olxQb5M7xPsBONr39KdjOTG4ofYPUM=";
|
||||||
};
|
};
|
||||||
|
|
||||||
# No tests present, only GitHub release which is 0.9.0
|
checkInputs = [
|
||||||
doCheck = false;
|
pytestCheckHook
|
||||||
|
];
|
||||||
|
|
||||||
pythonImportsCheck = [ "pysmt" ];
|
pythonImportsCheck = [
|
||||||
|
"pysmt"
|
||||||
|
];
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
description = "Python library for SMT formulae manipulation and solving";
|
description = "Python library for SMT formulae manipulation and solving";
|
||||||
|
|
Loading…
Reference in a new issue