diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-05-21 16:33:35 -0700 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2022-05-21 16:55:37 -0700 |
commit | 519f0b9e582a18c4b7e686b39df9c1c565364940 (patch) | |
tree | bb0b951c0ba08bf54ec8d714a0c3ce0b74c8f6a0 /pkgs/applications/science/logic/zchaff | |
parent | 3c31489f15d49215529318055864e813c6691357 (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.nix | 6 |
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 |