Try libcxxStdenv

runtimeverification · Nov 30, 2020 · e992a5b · e992a5b
1 parent 992a43f
commit e992a5b
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";