Files
David B. Evans ae736a607c py-benchexec: new port
A Framework for Reliable Benchmarking and Resource Measurement
2020-04-20 12:47:06 -07:00

38 lines
1.2 KiB
Tcl

# -*- 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
}