doc: Add NixOS to INSTALL.md
#920
Conversation
|
Nice! I won't be able to help with the NixOS side, but if you have any other questions, I would be glad to assist. |
|
The systemd unit file you and the docs on the cgroups setup you provide are very helpful already, thank you! If I run into issues, I'll contact you! |
lorenzleutgeb
force-pushed
the
patch-1
branch
3 times, most recently
from
e573f78 to
6035965
Compare
I am currently working on a NixOS module for BenchExec, stay tuned.
|
Downstream pull request NixOS/nixpkgs#263375 was merged. This means that the options mentioned in this PR are available in the "unstable" rolling release of NixOS shortly. Also, it was merged just in time for the NixOS 24.05 branch-off (see Release Schedule), which means that BenchExec and friends will appear in the upcoming stable release NixOS 24.05. The current NixOS stable release 23.11 will reach its EOL in 2024-06, and all earlier stable releases are EOL already. Because of the relatively period left to 23.11 EOL I will not make any effort backporting BenchExec support to 23.11. I don't see a big issue in the fact that the changes in this PR mention 24.05, because it will be released within a few weeks, and this PR still needs review. Rendered view of the latest state of this PR: https://github.com/lorenzleutgeb/benchexec/blob/patch-1/doc/INSTALL.md#nixos |
|
Just to make sure, this is ready to merge from your point of view? Then I will do so. |
|
Just resolved the conflict with #1038 but good to merge from my side, yes! |
|
Cool, thanks for this smooth merge! If you get reports about issues with the packages in Nixpkgs or NixOS modules (also for cpu-energy-meter and pqos_wrapper) feel free to ping me. I cannot guarantee any service level but am planning to maintain those on a best-effort basis. |
I am currently working on a NixOS module for BenchExec, stay tuned.
See: NixOS/nixpkgs#263375