dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #173936 from siraben/zchaff-stdenv

Browse Source 
zchaff: use clangStdenv
This commit is contained in:
Ben Siraphob 2022-05-21 17:14:12 -07:00 committed by GitHub
commit 6bb17658e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/zchaff/default.nix
View File

@ -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