Files

35 lines
1.0 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
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
}