View Raw Ebuild
# automatically generated by g-sorcery
# please do not edit this file
EAPI=8
REALNAME="${PN}"
LITERALNAME="pyvcg"
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="Verification Condition Generator"
HOMEPAGE="https://github.com/florianschanda/PyVCG"
LICENSE="GNU General Public License v3"
SRC_URI="https://files.pythonhosted.org/packages/source/${LITERALNAME::1}/${LITERALNAME}/${LITERALNAME}-${REALVERSION}.tar.gz"
SOURCEFILE="${LITERALNAME}-${REALVERSION}.tar.gz"
RESTRICT="test"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="api"
DEPENDENCIES="api? ( dev-python/cvc5[${PYTHON_USEDEP}] )"
BDEPEND="${DEPENDENCIES}"
RDEPEND="${DEPENDENCIES}"