-
Notifications
You must be signed in to change notification settings - Fork 141
/
pyproject.toml
81 lines (70 loc) · 1.58 KB
/
pyproject.toml
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
[build-system]
requires = ["poetry-core"]
build-backend = "poetry.core.masonry.api"
[tool.poetry]
name = "pyk"
version = "0.1.778"
description = ""
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
]
[tool.poetry.dependencies]
python = "^3.10"
cmd2 = "^2.4.2"
coloredlogs = "^15.0.1"
filelock = "^3.9.0"
graphviz = "^0.20.1"
psutil = "5.9.5"
pybind11 = "^2.10.3"
textual = "^0.27.0"
tomli = "^2.0.1"
xdg-base-dirs = "^6.0.1"
[tool.poetry.group.dev.dependencies]
autoflake = "*"
black = "*"
flake8 = "*"
flake8-bugbear = "*"
flake8-comprehensions = "*"
flake8-quotes = "*"
flake8-type-checking = "*"
isort = "*"
mypy = "*"
pep8-naming = "*"
pytest = "*"
pytest-cov = "*"
pytest-mock = "*"
pytest-timeout = "*"
pytest-xdist = "*"
pyupgrade = "*"
sphinx = "*"
types-psutil = "^5.9.5.10"
[tool.poetry.scripts]
pyk = "pyk.__main__:main"
pyk-covr = "pyk.kcovr:main"
kbuild = "pyk.kbuild.__main__:main"
kdist = "pyk.kdist.__main__:main"
krepl = "pyk.krepl.__main__:main"
kore-exec-covr = "pyk.kore_exec_covr.__main__:main"
[tool.poetry.plugins.pytest11]
pytest-pyk = "pyk.testing.plugin"
[tool.isort]
profile = "black"
line_length = 120
[tool.autoflake]
recursive = true
expand-star-imports = true
remove-all-unused-imports = true
ignore-init-module-imports = true
remove-duplicate-keys = true
remove-unused-variables = true
[tool.black]
line-length = 120
skip-string-normalization = true
[tool.mypy]
disallow_untyped_defs = true
[[tool.mypy.overrides]]
module = "graphviz"
ignore_missing_imports = true
[[tool.mypy.overrides]]
module = "coloredlogs"
ignore_missing_imports = true