about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/zchaff
diff options
context:
space:
mode:
authorBen Siraphob <bensiraphob@gmail.com>2022-05-21 16:33:35 -0700
committerBen Siraphob <bensiraphob@gmail.com>2022-05-21 16:55:37 -0700
commit519f0b9e582a18c4b7e686b39df9c1c565364940 (patch)
treebb0b951c0ba08bf54ec8d714a0c3ce0b74c8f6a0 /pkgs/applications/science/logic/zchaff
parent3c31489f15d49215529318055864e813c6691357 (diff)
zchaff: use clangStdenv
Fixes build on Linux
Diffstat (limited to 'pkgs/applications/science/logic/zchaff')
-rw-r--r--pkgs/applications/science/logic/zchaff/default.nix6
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/zchaff/default.nix b/pkgs/applications/science/logic/zchaff/default.nix
index 8eedd9b43e535..5fd73a8def8da 100644
--- a/pkgs/applications/science/logic/zchaff/default.nix
+++ b/pkgs/applications/science/logic/zchaff/default.nix
@@ -1,6 +1,6 @@
-{ lib, stdenv, fetchurl }:
+{ lib, clangStdenv, fetchurl }:
 
-stdenv.mkDerivation rec {
+clangStdenv.mkDerivation rec {
   pname = "zchaff";
   version = "2004.5.13";
 
@@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
   };
 
   patches = [ ./sat_solver.patch ];
-  makeFlags = [ "CC=${stdenv.cc.targetPrefix}c++" ];
+  makeFlags = [ "CC=${clangStdenv.cc.targetPrefix}c++" ];
   installPhase= ''
     runHook preInstall
     install -Dm755 -t $out/bin zchaff