alive2: -Wno-error=deprecated-declarations

katrinafyi · Dec 20, 2024 · 3345c04 · 3345c04
1 parent c9f169f
commit 3345c04
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/llvm-translator/alive2-aslp.nix b/llvm-translator/alive2-aslp.nix
@@ -25,6 +25,8 @@
     hash = "sha256-fvcvC/SJOtLq0tR0h/GT983ScHZnXbjui9PwutJtnsA=";
   };
 
+  CXXFLAGS = (prev.CXXFLAGS or "") + " -Wno-error=deprecated-declarations";
+
   cmakeFlags = prev.cmakeFlags
     ++ [ (lib.cmakeFeature "ANTLR4_JAR_LOCATION" "${antlr.jarLocation}") ];
 

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 -Wno-error=deprecated";
+  CXXFLAGS = "-Wno-error=cpp";
 
   postPatch = ''
     substituteInPlace scripts/alivecc.in \