# 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="Analyze Python code for correctness using symbolic execution."

HOMEPAGE="https://github.com/pschanely/CrossHair"
LICENSE="MIT"
SRC_URI="https://files.pythonhosted.org/packages/source/${REALNAME::1}/${REALNAME}/${REALNAME//-/_}-${REALVERSION}.tar.gz"
SOURCEFILE="${REALNAME//-/_}-${REALVERSION}.tar.gz"
RESTRICT="test"

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

IUSE="dev"
DEPENDENCIES="dev-python/packaging[${PYTHON_USEDEP}]
	dev-python/typing-inspect[${PYTHON_USEDEP}]
	>=dev-python/typing-extensions-3.10.0[${PYTHON_USEDEP}]
	dev-python/z3-solver[${PYTHON_USEDEP}]
	>=dev-python/importlib-metadata-4.0.0[${PYTHON_USEDEP}]
	dev-python/pygls[${PYTHON_USEDEP}]
	dev-python/typeshed-client[${PYTHON_USEDEP}]
	dev? ( dev-python/autodocsumm[${PYTHON_USEDEP}] )
	dev? ( ~dev-python/black-25.9.0[${PYTHON_USEDEP}] )
	dev? ( dev-python/deal[${PYTHON_USEDEP}] )
	dev? ( dev-python/icontract[${PYTHON_USEDEP}] )
	dev? ( ~dev-python/isort-5.11.5[${PYTHON_USEDEP}] )
	dev? ( ~dev-python/mypy-1.18.1[${PYTHON_USEDEP}] )
	dev? ( ~dev-python/numpy-1.24.0[${PYTHON_USEDEP}] )
	dev? ( ~dev-python/numpy-2.3.3[${PYTHON_USEDEP}] )
	dev? ( dev-python/pre-commit[${PYTHON_USEDEP}] )
	dev? ( dev-python/pytest[${PYTHON_USEDEP}] )
	dev? ( dev-python/pytest-xdist[${PYTHON_USEDEP}] )
	dev? ( dev-python/setuptools[${PYTHON_USEDEP}] )
	dev? ( >=dev-python/sphinx-3.4.3[${PYTHON_USEDEP}] )
	dev? ( >=dev-python/sphinx-rtd-theme-0.5.1[${PYTHON_USEDEP}] )
	dev? ( dev-python/rst2pdf[${PYTHON_USEDEP}] )
	dev? ( dev-python/z3-solver[${PYTHON_USEDEP}] )"
BDEPEND="${DEPENDENCIES}"
RDEPEND="${DEPENDENCIES}"