nixpkgs/pkgs/build-support
Michael Raskin 64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
..
buildenv * buildEnv: use $SHELL (i.e. bash) rather than /bin/sh. This allows 2010-11-03 22:37:00 +00:00
builder-defs Adding Satallax prover 2010-12-03 11:26:34 +00:00
checker removed all __primops from nixpkgs 2009-05-24 10:57:46 +00:00
dotnetenv slnFile can also be a list of strings now 2010-07-12 11:18:11 +00:00
fetchbzr Add `fetchbzr', to retrieve remote Bazaar repositories. 2008-09-26 08:57:51 +00:00
fetchcvs * Quick hack to support checkout by date. 2008-02-28 23:43:21 +00:00
fetchdarcs Added Idris and updated fetchdarcs. 2009-05-13 19:02:23 +00:00
fetchfile * "." -> "source". 2005-12-05 14:11:09 +00:00
fetchgit fetchgit: Track all remote branches when `$rev' is non-empty. 2010-05-19 21:27:01 +00:00
fetchhg make nix-prefetch-hg executable 2010-07-27 16:32:51 +00:00
fetchmtn Reduce fetchmtn verbosity 2009-11-08 22:30:38 +00:00
fetchsvn nix-prefetch-svn: Support $NIX_PREFETCH_SVN_LEAVE_DOT_SVN. 2009-12-03 15:01:54 +00:00
fetchsvnssh undo 2008-07-06 15:46:10 +00:00
fetchurl * Add some openSUSE mirrors that still have 10.3 and 11.0. 2010-10-04 14:30:34 +00:00
gcc-cross-wrapper Fixing the dynamic linker in the gcc-cross-wrapper so it takes also the dynamic 2010-08-02 22:44:41 +00:00
gcc-upc-wrapper Add GCC-UPC, a compiler for the UPC distributed shared memory language. 2008-03-04 16:20:11 +00:00
gcc-wrapper Making the ld-wrapper2.sh much faster, when having lots of '-L' parameters, 2010-05-03 19:59:51 +00:00
kernel Fixing the correct handling of uboot in the initrd and the kernel derivations. 2010-02-27 18:51:06 +00:00
make-desktopitem Added desktop file generation function and desktop item for firefox 2009-05-10 12:03:53 +00:00
make-symlinks * "." -> "source". 2005-12-05 14:11:09 +00:00
make-wrapper * Firefox wrapper: put gecko-mediaplayer and mplayer at the start of 2009-07-16 11:22:37 +00:00
mono-dll-fixer * Remove references to substitute.sh. 2006-12-27 18:17:53 +00:00
native-darwin-cctools-wrapper * Changed version of gcc to 4.0.1 - 5484 on darwin 2009-06-21 18:37:54 +00:00
nuke-references * Use the sh from klibc in the bootstrap. It's a lot smaller than 2009-01-29 17:48:45 +00:00
release fixing wrappers in ant-build 2010-11-10 12:55:25 +00:00
src-only A helper to get the source some package is built from. 2008-10-01 15:57:22 +00:00
substitute * Allow post/pre-install hooks. 2008-02-12 08:42:33 +00:00
upstream-updater Allow overrides for SF version extractor 2010-06-23 10:05:57 +00:00
vm vm/default.nix: updating debian lenny hashes 2010-09-07 14:33:46 +00:00
vsenv Renamed buildSolution => build-solution 2010-06-15 12:23:28 +00:00
source-from-head-fun.nix removing old bleeding edge cruft replacing it by a niftier version using 2009-12-11 13:58:23 +00:00
trivial-builders.nix Move "fetchurl restricted" code to requireFile. 2010-05-03 09:13:17 +00:00