Try libcxxStdenv

runtimeverification · Jan 26, 2021 · 6b5301a · 6b5301a
1 parent 503d32f
commit 6b5301a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/nix/llvm-backend.nix b/nix/llvm-backend.nix
@@ -6,7 +6,8 @@
 }:
 
 let inherit (nix-gitignore) gitignoreSourcePure; in
-let inherit (llvmPackages) stdenv llvm; in
+let inherit (llvmPackages) llvm; in
+let stdenv = llvmPackages.libcxxStdenv; in
 
 let
   pname = "llvm-backend";