benchexec icon indicating copy to clipboard operation
benchexec copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Create BenchExec packages for distributions

Open PhilippWendler opened this issue 9 years ago • 4 comments

For Ubuntu, we could start with a PPA.

For Debian, we should file a bug against WNPP for request for package.

PhilippWendler avatar Sep 23 '16 17:09 PhilippWendler

The Ubuntu PPA was done as part of #613. We don't plan on adding BenchExec packages to the official Debian and Ubuntu repositories.

But we could build other package formats for other distributions, e.g., RPM. However, I know nothing about this and thus we would need help from somebody who has experience with this.

PhilippWendler avatar Oct 02 '20 05:10 PhilippWendler

#920 is part of this (for NixOS).

PhilippWendler avatar Oct 20 '23 13:10 PhilippWendler