10 commits

Author	SHA1	Message	Date
Eelco Dolstra	460df30bd8	Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper" ... This reverts commit 0a944b345e, reversing changes made to 61733ed6cc. I dislike these massive stdenv changes with unclear motivation, especially when they involve gratuitous mass renames like NIX_CC -> NIX_BINUTILS. The previous such rename (NIX_GCC -> NIX_CC) caused months of pain, so let's not do that again. (cherry picked from commit ec8d41f08c)	2017-09-07 12:53:33 +02:00
John Ericson	89481b70ea	misc pkgs: Use $NIX_BINUTILS for when needed ... Certain files are now only there instead of $NIX_CC (some are in both) (cherry picked from commit 3f30cffa55)	2017-09-03 11:30:38 -04:00
Kirill Boltaev	bccd75094f	treewide: explicitly specify gtk and related package versions	2016-09-12 18:26:06 +03:00
Nikolay Amiantov	87ebab128a	replace ${stdenv.cc.cc}/lib occurences	2016-05-01 00:13:23 +03:00
Eric Seidel	f3c6827373	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	2015-01-14 20:27:55 -08:00
John Wiegley	28b6fb61e6	Change occurrences of gcc to the more general cc ... This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.	2014-12-26 11:06:21 -06:00
Eelco Dolstra	ce6b86cc68	Fix various evaluation problems ... http://hydra.nixos.org/build/13616685	2014-08-22 11:57:40 +02:00
Austin Seipp	fe9133d522	verifast: 14.5, x86_64 linux only ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-06-10 16:38:45 -05:00
Austin Seipp	7d58646b08	z3/verifast: update license ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 19:09:24 -05:00
Austin Seipp	aaa0304a45	nixpkgs: verifast 13.11.14 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-28 13:46:27 -05:00