PyPantograph/pyproject.toml at main · stanford-centaur/PyPantograph · 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
[project]
name = "pantograph"
version = "0.3.13"
description = "A Machine-to-Machine Interaction System for Lean"
license = "Apache-2.0"
readme = "README.md"
authors = [
    {name = "Leni Aniva", email = "[email protected]"},
    {name = "contributors"}
]
requires-python = ">=3.11.0"
dependencies = []
[dependency-groups]
dev = [
    "jupyter-book>=1.0.4.post1",
    "notebook",
    "pytest>=8.4.1",
]

[build-system]
requires = ["poetry-core>=2,<3"]
build-backend = "poetry.core.masonry.api"

[tool.poetry]
include = [
    { path = "pantograph/pantograph-repl", format = ["sdist", "wheel"] },
    { path = "pantograph/lean-toolchain", format = ["sdist", "wheel"] },
    { path = "src", format = ["sdist", "wheel"] },
]

[tool.poetry.build]
generate-setup-file = false
script = "build-pantograph.py"

[tool.poetry.group.doc]
optional = true
[tool.poetry.group.doc.dependencies]
notebook = "^7.2.1"
jupyter-book = "^1.0.3"