/
pyproject.toml.in
104 lines (97 loc) · 3.61 KB
/
pyproject.toml.in
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
[tool.poetry]
name = "RecordFlux"
version = "0.0.0"
description = "A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines."
license = "AGPL-3.0"
authors = [
"Tobias Reiher <reiher@adacore.com>"
]
readme = ["README.md"]
homepage = "https://www.adacore.com/recordflux"
repository = "https://github.com/AdaCore/RecordFlux"
documentation = "https://www.adacore.com/documentation#SPARK"
classifiers = [
"Development Status :: 5 - Production/Stable",
"Environment :: Console",
"License :: OSI Approved :: GNU Affero General Public License v3",
"Operating System :: POSIX :: Linux",
"Programming Language :: Ada",
"Programming Language :: Python :: 3 :: Only",
"Programming Language :: Python :: 3",
"Programming Language :: Python :: 3.8",
"Programming Language :: Python :: 3.9",
"Programming Language :: Python :: 3.10",
"Programming Language :: Python :: 3.11",
"Topic :: Communications",
"Topic :: Security",
"Topic :: Software Development :: Build Tools",
"Topic :: Software Development :: Code Generators",
"Topic :: System :: Networking",
]
packages = [
{ include = "rflx" },
]
include = [
{ path = "generated/adasat/*.gpr", format = "sdist" },
{ path = "generated/adasat/src/*.ad?", format = "sdist" },
{ path = "generated/gnatcoll-bindings/gmp/*.ad?", format = "sdist" },
{ path = "generated/gnatcoll-bindings/gmp/*.c", format = "sdist" },
{ path = "generated/gnatcoll-bindings/gmp/*.gpr", format = "sdist" },
{ path = "generated/gnatcoll-bindings/iconv/*.ad?", format = "sdist" },
{ path = "generated/gnatcoll-bindings/iconv/*.c", format = "sdist" },
{ path = "generated/gnatcoll-bindings/iconv/*.gpr", format = "sdist" },
{ path = "generated/langkit/langkit/support/*.ad?", format = "sdist" },
{ path = "generated/langkit/langkit/support/*.gpr", format = "sdist" },
{ path = "generated/librflxlang.gpr", format = "sdist" },
{ path = "generated/src/*", format = "sdist" },
{ path = "rflx/ide/vscode/recordflux.vsix" },
{ path = "rflx/lang/__init__.py" },
{ path = "rflx/lang/py.typed" },
]
exclude = [
"rflx/ide/vscode/*",
"rflx/lang/librflxlang.so",
]
[tool.poetry.build]
script = "build.py"
generate-setup-file = true
[tool.poetry.dependencies]
python = ">=3.8, <3.12"
attrs = ">=22.1, <24"
defusedxml = ">=0.7, <0.8"
icontract = ">=2.3.4, <3"
importlib_resources = ">=6, <7" # TODO(eng/recordflux/RecordFlux#1359): Remove
pydantic = ">=2, <3"
pydotplus = ">=2, <3"
pygls = ">=1.1, <2"
"ruamel.yaml" = ">=0.18, <0.19"
z3-solver = ">=4, <4.12.3"
[tool.poetry.group.build.dependencies]
langkit = {path = "contrib/langkit"}
[tool.poetry.group.dev.dependencies]
recordflux-devutils = {path = "devutils", extras = ["devel"]}
cobrafuzz = ">=2.2, <2.3"
furo = "==2022.4.7"
hypothesis = ">=6.14, <6.24"
lark = "==1.1.8"
pyicontract-lint = ">=2.1.2, <2.2"
pytest-asyncio = "==0.23.5"
pytest-timeout = ">=2, <3"
scapy = ">=2, <3"
sphinx = ">=4.5, <5"
sphinx-rtd-theme = ">=1.1.1, <1.2"
sphinxcontrib-applehelp = "==1.0.4" # required by sphinx 4
sphinxcontrib-devhelp = "==1.0.2" # required by sphinx 4
sphinxcontrib-htmlhelp = "==2.0.1" # required by sphinx 4
sphinxcontrib-qthelp = "==1.0.3" # required by sphinx 4
sphinxcontrib-serializinghtml = "==1.1.5" # required by sphinx 4
tqdm = ">=4.61.1, <5"
types-Pygments = ">=2.15, <3"
types-defusedxml = ">=0.7, <0.8"
[tool.poetry.scripts]
rflx = "rflx.cli:run"
[tool.poetry-dynamic-versioning]
enable = true
bump = true
[build-system]
requires = ["poetry-core>=1", "poetry-dynamic-versioning>=1,<2", "setuptools", "wheel"]