alive2: fix and enable strictDeps for cross (#396784)

This commit is contained in:
Colin
2025-04-08 15:18:48 +00:00
committed by GitHub
+4 -2
View File
@@ -24,17 +24,19 @@ clangStdenv.mkDerivation (finalAttrs: {
nativeBuildInputs = [
cmake
ninja
re2c
];
buildInputs = [
re2c
z3
hiredis
llvm_18
ninja
];
strictDeps = true;
postPatch = ''
substituteInPlace CMakeLists.txt \
--replace-fail '-Werror' "" \
--replace-fail 'find_package(Git REQUIRED)' ""
'';