# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4

PortSystem          1.0
PortGroup           python 1.0

name                py-benchexec
python.rootname     BenchExec
version             3.27
revision            0

categories-append   graphics
license             Apache-2
platforms           {darwin any}
supported_archs     noarch
maintainers         nomaintainer

description         A Framework for Reliable Benchmarking and Resource Measurement
long_description    {*}${description}

homepage            https://github.com/sosy-lab/benchexec

checksums           rmd160  a0860f4011bc209e68831bc4c875414a6f70e6f2 \
                    sha256  5242775007ef37146751afdb5184dae0f0a3734a5bca489f87a0f3fc17d2c816 \
                    size    1199685

python.versions     313

if {${name} ne ${subport}} {
    patchfiles      patch-pyproject.toml.diff

    depends_lib-append \
                    port:py${python.version}-lxml \
                    port:py${python.version}-yaml
}
