cvise: fix unifdef.patch (crashes otherwise) (#452703)

This commit is contained in:
Alyssa Ross
2025-10-18 09:27:27 +00:00
committed by GitHub
2 changed files with 16 additions and 3 deletions
@@ -13,6 +13,8 @@
pebble,
psutil,
pytestCheckHook,
testers,
cvise,
}:
buildPythonApplication rec {
@@ -78,6 +80,16 @@ buildPythonApplication rec {
"test_simple_reduction"
];
passthru = {
tests = {
# basic syntax check
help-output = testers.testVersion {
package = cvise;
command = "cvise --version";
};
};
};
meta = with lib; {
homepage = "https://github.com/marxin/cvise";
description = "Super-parallel Python port of C-Reduce";
@@ -1,6 +1,7 @@
--- a/cvise.py
+++ b/cvise.py
@@ -93,4 +93,5 @@ def find_external_programs():
--- a/cvise/utils/externalprograms.py
+++ b/cvise/utils/externalprograms.py
@@ -43,5 +43,6 @@ def find_external_programs():
# Special case for clang-format
programs['clang-format'] = '@CLANG_FORMAT_PATH@'
+ programs['unifdef'] = '@UNIFDEF@'