truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
115,786 commits 3 branches 0 tags 565 MiB
Commit graph

15 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
Michael Raskin
b924cdefa5 tptp: take into account upstream tarball hash change; one file got renamed and some statistics in the documentation got regenerated 2016-09-08 16:49:22 +02:00
Michael Raskin
61a3610853 tptp: 6.3.0 -> 6.4.0 2016-07-16 11:34:32 +02:00
Michael Raskin
ca495a53a5 tptp: fix hash 2016-06-20 18:38:08 +02:00
Gabriel Ebner
73468cf4d4 tptp: replace use of builderDefsPackage 2016-01-29 10:33:35 +01:00
Gabriel Ebner
462958b3b7 tptp: 6.1.0 -> 6.3.0 2016-01-29 09:37:11 +01:00
Michael Raskin
979f0e1d67 Update TPTP 2014-08-31 19:25:32 +04:00
Michael Raskin
4c55ae8588 Update TPTP and make URL set robust to moving old versions to archive 2014-05-03 00:53:46 +04:00
Eelco Dolstra
c88055e1a2 Set meta.hydraPlatforms instead of meta.platforms for some packages 2013-11-05 00:06:10 +01:00
Michael Raskin
d5288c7e3a TPTP had a bugfix without version change 2013-03-09 14:24:45 +04:00
Michael Raskin
2331ea4ec2 TPTP: update to 5.4.0 2012-07-07 20:32:48 +04:00
Michael Raskin
dd3ef46cac Update TPTP 
svn path=/nixpkgs/trunk/; revision=33754
 2012-04-12 07:23:52 +00:00
Eelco Dolstra
c556a6ea46 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 
function, so obsolete it.

svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
 2012-01-18 20:16:00 +00:00
Michael Raskin
d03599f8ce Adding TPTP 
svn path=/nixpkgs/trunk/; revision=27468
 2011-06-15 10:35:18 +00:00