-
Notifications
You must be signed in to change notification settings - Fork 7
/
pyproject.toml.in
119 lines (111 loc) · 4.29 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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
[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 = "Apache-2.0"
authors = [
"Tobias Reiher <[email protected]>"
]
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.9",
"Programming Language :: Python :: 3.10",
"Programming Language :: Python :: 3.11",
"Programming Language :: Python :: 3.12",
"Programming Language :: Rust",
"Programming Language :: Python :: Implementation :: CPython",
"Topic :: Communications",
"Topic :: Security",
"Topic :: Software Development :: Build Tools",
"Topic :: Software Development :: Code Generators",
"Topic :: System :: Networking",
]
packages = [
{ include = "rflx" },
]
include = [
{ path = "Cargo.lock", format = "sdist" },
{ path = "Cargo.toml", format = "sdist" },
{ 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 = "librapidflux/Cargo.toml", format = "sdist" },
{ path = "librapidflux/src/*.rs", format = "sdist" },
{ path = "librapidflux/src/diagnostics/*.rs", format = "sdist" },
{ path = "rapidflux/Cargo.toml", format = "sdist" },
{ path = "rapidflux/src/*.rs", format = "sdist" },
{ path = "rapidflux/src/diagnostics/*.rs", format = "sdist" },
{ path = "rflx/ide/vim/recordflux.vim" },
{ path = "rflx/ide/vscode/recordflux.vsix" },
{ path = "rflx/lang/__init__.py" },
{ path = "rflx/lang/py.typed" },
{ path = "rflx/rapidflux*.so", format = "wheel" },
]
exclude = [
"rflx/ide/vscode/*",
"rflx/lang/librflxlang.so",
]
[tool.poetry.build]
script = "build.py"
generate-setup-file = true
[tool.poetry.dependencies]
python = ">=3.9, <4"
attrs = ">=22.1, <24"
defusedxml = ">=0.7, <0.8"
pydantic = ">=2, <3"
pydotplus = ">=2, <3"
pygls = ">=1.1, <2"
"ruamel.yaml" = ">=0.18, <0.19"
setuptools = ">=41" # required by z3-solver <4.12.3
z3-solver = ">=4, <4.12.3"
[tool.poetry.group.build.dependencies]
langkit = {path = "contrib/langkit"}
[tool.poetry.group.pytest.dependencies]
pytest = ">=8, <9"
[tool.poetry.group.dev.dependencies]
recordflux-devutils = {path = "devutils", extras = ["devel"]}
cobrafuzz = ">=2.2, <2.3"
cryptography = ">=43.0.1"
furo = ">=2022.4.7"
hypothesis = ">=6.14, <6.24"
lark = ">=1.1.8, <2"
pip-audit = ">=2.7.3, <3"
pynacl = ">=1.5.0, <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
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"]