kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity

zchaff: use clangStdenv

Browse Source 
Fixes build on Linux
main
Ben Siraphob 2 years ago
parent 3c31489f15
commit 519f0b9e58
No known key found for this signature in database
GPG Key ID: 45F0E5D788143267
1 changed files with 3 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 6
      pkgs/applications/science/logic/zchaff/default.nix

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

@ -1,6 +1,6 @@
{ lib, stdenv, fetchurl }: { lib, clangStdenv, fetchurl }:
stdenv.mkDerivation rec { clangStdenv.mkDerivation rec {
pname = "zchaff"; pname = "zchaff";
version = "2004.5.13"; version = "2004.5.13";
@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
}; };
patches = [ ./sat_solver.patch ]; patches = [ ./sat_solver.patch ];
makeFlags = [ "CC=${stdenv.cc.targetPrefix}c++" ]; makeFlags = [ "CC=${clangStdenv.cc.targetPrefix}c++" ];
installPhase= '' installPhase= ''
runHook preInstall runHook preInstall
install -Dm755 -t $out/bin zchaff install -Dm755 -t $out/bin zchaff

Write Preview
Loading…
Cancel
Save