alive2: disable deprecated error

katrinafyi · Dec 18, 2024 · 0e814bf · 0e814bf
1 parent e337691
commit 0e814bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/llvm-translator/alive2.nix b/llvm-translator/alive2.nix
@@ -40,7 +40,7 @@ buildStdenv.mkDerivation {
   buildInputs = [ z3 zlib ncurses llvmPackages.libllvm ];
 
   cmakeFlags = [ "-DBUILD_TV=1" "-DGIT_EXECUTABLE=${git-am-shim}" ];
-  CXXFLAGS = "-Wno-error=cpp";
+  CXXFLAGS = "-Wno-error=cpp -Wno-error=deprecated";
 
   postPatch = ''
     substituteInPlace scripts/alivecc.in \