LeanUp/setup.cfg at main · Lean-zh/LeanUp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
[metadata]
name = leanup
version = attr: leanup.__version__
description = Python package for Lean Environment Management
long_description = file: README.md
long_description_content_type = text/markdown
author = Lean-zh Community
author_email = leanprover@outlook.com
maintainer = Lean-zh Community
maintainer_email = leanprover@outlook.com
license = MIT license

[options]
package_dir =
    = .
packages = find:
include_package_data = True
python_requires = >=3.6
install_requires =
    gitpython
    psutil
    toml
    click
    platformdirs
    loguru
    requests
    colorama
    fastapi
    uvicorn

[options.packages.find]
where = .

[options.package_data]
leanup =
    templates/mathlib/*.tmpl

[options.extras_require]
dev =
    coverage
    mypy
    pytest
    ruff
    mkdocs>=1.4.0
    mkdocs-material>=9.0.0
    mkdocs-static-i18n>=0.5.0
    pytest>=7.0.0
    pytest-cov>=4.0.0

[options.entry_points]
console_scripts =
    leanup=leanup.cli:cli

[mypy]
files = .
strict = True
warn_unreachable = True
warn_no_return = True