# automatically generated by g-sorcery
# please do not edit this file

EAPI=8

REALNAME="${PN}"
LITERALNAME="${PN}"
REALVERSION="${PV}"
DIGEST_SOURCES="yes"
PYTHON_COMPAT=( python{3_11,3_12,3_13,3_14} )
DISTUTILS_USE_PEP517=standalone

inherit python-r1 gs-pypi

DESCRIPTION="A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines."

HOMEPAGE="https://www.adacore.com/recordflux"
LICENSE="Apache-2.0"
SRC_URI="https://files.pythonhosted.org/packages/81/6b/1bc4cf8da36b094dc0ed98f3b23a3d5f2985717ab5b98167352528be7bff/recordflux-${REALVERSION}.tar.gz"
SOURCEFILE="recordflux-${REALVERSION}.tar.gz"
RESTRICT="test"

SLOT="0"
KEYWORDS="~amd64 ~x86"

IUSE=""
DEPENDENCIES="<dev-python/attrs-24.0[${PYTHON_USEDEP}]
	<dev-python/defusedxml-0.8[${PYTHON_USEDEP}]
	<dev-python/lark-2.0[${PYTHON_USEDEP}]
	<dev-python/pydantic-3.0[${PYTHON_USEDEP}]
	dev-python/pydotplus[${PYTHON_USEDEP}]
	dev-python/pygls[${PYTHON_USEDEP}]
	<dev-python/ruamel-yaml-0.19[${PYTHON_USEDEP}]
	>=dev-python/setuptools-41.0[${PYTHON_USEDEP}]
	dev-python/z3-solver[${PYTHON_USEDEP}]"
BDEPEND="${DEPENDENCIES}"
RDEPEND="${DEPENDENCIES}"