diff options
author | Franz Pletz <fpletz@fnordicwalking.de> | 2016-08-25 02:49:43 +0200 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2016-08-25 02:56:25 +0200 |
commit | df275f5b856501e980fe41d9de2d9a8558bdfce3 (patch) | |
tree | 1d3303b36c569200dcfb85985256a38c8ec9556d /pkgs/applications/science/logic | |
parent | 447207d21d63e285dccdb992751a5e72f339e3e0 (diff) | |
download | nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.tar nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.tar.gz nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.tar.bz2 nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.tar.lz nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.tar.xz nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.tar.zst nixpkgs-df275f5b856501e980fe41d9de2d9a8558bdfce3.zip |
treewide: fix darwin builds by referring to stdenv's libc
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/boolector/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index 52c839130bb..dec7989ae54 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -23,7 +23,7 @@ let license = with stdenv.lib.licenses; if useV16 then unfreeRedistributable else gpl3; in stdenv.mkDerivation (boolectorPkg // { - buildInputs = [ zlib stdenv.glibc.static zlib.static ]; + buildInputs = [ zlib stdenv.cc.libc.static zlib.static ]; enableParallelBuilding = false; installPhase = '' |