2022-09-09 14:08:57 +00:00
|
|
|
{ lib
|
|
|
|
|
, atomicwrites
|
|
|
|
|
, buildPythonPackage
|
|
|
|
|
, click
|
|
|
|
|
, fetchPypi
|
2022-12-17 10:02:37 +00:00
|
|
|
, gitpython
|
2022-09-09 14:08:57 +00:00
|
|
|
, networkx
|
|
|
|
|
, pydot
|
2023-03-15 16:39:30 +00:00
|
|
|
, pygithub
|
2022-09-09 14:08:57 +00:00
|
|
|
, pythonOlder
|
|
|
|
|
, pyyaml
|
|
|
|
|
, toml
|
|
|
|
|
, tqdm
|
|
|
|
|
}:
|
2020-09-25 04:45:31 +00:00
|
|
|
|
|
|
|
|
buildPythonPackage rec {
|
|
|
|
|
pname = "mathlibtools";
|
2022-12-28 21:21:41 +00:00
|
|
|
version = "1.3.2";
|
2022-09-09 14:08:57 +00:00
|
|
|
format = "setuptools";
|
|
|
|
|
|
|
|
|
|
disabled = pythonOlder "3.6";
|
2020-09-25 04:45:31 +00:00
|
|
|
|
|
|
|
|
src = fetchPypi {
|
|
|
|
|
inherit pname version;
|
2022-12-28 21:21:41 +00:00
|
|
|
hash = "sha256-mkn0y3NV/acnkqVzi8xd+Sex4QLvxxmt++FtsZmgrGs=";
|
2020-09-25 04:45:31 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
2022-09-09 14:08:57 +00:00
|
|
|
atomicwrites
|
|
|
|
|
click
|
2022-12-17 10:02:37 +00:00
|
|
|
gitpython
|
2022-09-09 14:08:57 +00:00
|
|
|
networkx
|
|
|
|
|
pydot
|
2023-03-15 16:39:30 +00:00
|
|
|
pygithub
|
2022-09-09 14:08:57 +00:00
|
|
|
pyyaml
|
|
|
|
|
toml
|
|
|
|
|
tqdm
|
2020-09-25 04:45:31 +00:00
|
|
|
];
|
|
|
|
|
|
2022-09-09 14:08:57 +00:00
|
|
|
# Requires internet access
|
2020-09-25 04:45:31 +00:00
|
|
|
doCheck = false;
|
|
|
|
|
|
2022-09-09 14:08:57 +00:00
|
|
|
pythonImportsCheck = [
|
|
|
|
|
"mathlibtools"
|
|
|
|
|
];
|
|
|
|
|
|
2020-09-25 04:45:31 +00:00
|
|
|
meta = with lib; {
|
2022-09-09 14:08:57 +00:00
|
|
|
description = "Supporting tool for Lean's mathlib";
|
2020-09-25 04:45:31 +00:00
|
|
|
homepage = "https://github.com/leanprover-community/mathlib-tools";
|
2022-12-02 08:20:57 +00:00
|
|
|
changelog = "https://github.com/leanprover-community/mathlib-tools/raw/v${version}/CHANGELOG.md";
|
2020-09-25 04:45:31 +00:00
|
|
|
license = licenses.asl20;
|
|
|
|
|
maintainers = with maintainers; [ gebner ];
|
|
|
|
|
};
|
|
|
|
|
}
|
