diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-05-22 06:01:27 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-22 06:01:27 +0000 |
| commit | deef19c9a11b40e36cdecf9a60bd7d95e59ff2f1 (patch) | |
| tree | 42e8035966e33253d0abb82e281a111623cd1ef7 /pkgs/applications/science/logic | |
| parent | dbef850602ea4fd1150c83a8f5352d81f04c5fa4 (diff) | |
| parent | 3b468e68b7cd9fd78ab0ffbf28dd767eac3fb253 (diff) | |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 |