# -*- 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.11
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  0b18735adff2be1899f4fcc1bd3503122f1f5e76 \
                    sha256  c26d230b641d4539dd042b123121736e19bd96d83a5e79f46febc044d97e3617 \
                    size    1641173

python.versions     38

if {${name} ne ${subport}} {
    depends_build-append \
                    port:py${python.version}-nose

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