# -*- 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
PortGroup           github 1.0

github.setup        sosy-lab benchexec 2.5.1
name                py-benchexec
revision            0
categories-append   graphics
platforms           darwin
license             Apache-2
maintainers         nomaintainer

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

homepage            https://github.com/sosy-lab/${python.rootname}/

python.versions     27 36 37 38

checksums           rmd160  bf83e1525c0bbe37b7b8015e03d5eea97d3e6253 \
                    sha256  3a9de71798fe003d26998c8c7b4b3ac442c2e891c0d471f752cc6ea91066f95a \
                    size    1529003

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

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

    livecheck.type  none
}
