Fix papi_version_check

Instead of running the papi_version binary, use the
builtin version check from pkg-config.
This commit is contained in:
2025-12-09 14:16:19 +01:00
parent aab17ab0c4
commit f77a36ee4c
4 changed files with 138 additions and 5 deletions

View File

@@ -47,6 +47,7 @@ in
dontStrip = true;
separateDebugInfo = true;
strictDeps = true;
patches = [ ./check-papi-version-with-pkgconfig.patch ];
configureFlags = [
"--with-ovni=${ovni}"
"CACHELINE_WIDTH=${toString cacheline}"