diff options
author | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2008-02-10 17:38:01 +0000 |
---|---|---|
committer | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2008-02-10 17:38:01 +0000 |
commit | 83e82c9872ce064a1c476fe87bbde1c708ca10a9 (patch) | |
tree | 48ee9959181f9767a56acd0d49d62f684363ac5e | |
parent | 150ea51a9c894dcbd2cb48a7e21272356973e6dc (diff) | |
download | nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.tar nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.tar.gz nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.tar.bz2 nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.tar.lz nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.tar.xz nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.tar.zst nixlib-83e82c9872ce064a1c476fe87bbde1c708ca10a9.zip |
* udev: get rid of silly warnings in make install.
svn path=/nixpkgs/branches/stdenv-updates/; revision=10583
-rw-r--r-- | pkgs/os-specific/linux/udev/default.nix | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/pkgs/os-specific/linux/udev/default.nix b/pkgs/os-specific/linux/udev/default.nix index cb7bf4fabd55..a2de2e08ce93 100644 --- a/pkgs/os-specific/linux/udev/default.nix +++ b/pkgs/os-specific/linux/udev/default.nix @@ -2,10 +2,24 @@ stdenv.mkDerivation { name = "udev-118"; + src = fetchurl { url = mirror://kernel/linux/utils/kernel/hotplug/udev-118.tar.bz2; sha256 = "1i488wqm7i6nz6gidbkxkb47hr427ika48i8imwrvvnpg1kzhska"; }; - preBuild = "makeFlagsArray=(etcdir=$out/etc sbindir=$out/sbin usrbindir=$out/bin usrsbindir=$out/sbin mandir=$out/share/man INSTALL='install -c')"; - preInstall = "installFlagsArray=(udevdir=dummy)"; + + # "DESTDIR=/" is a hack to prevent "make install" from trying to + # mess with /dev. + preBuild = '' + makeFlagsArray=(etcdir=$out/etc sbindir=$out/sbin usrbindir=$out/bin usrsbindir=$out/sbin mandir=$out/share/man INSTALL='install -c' DESTDIR=/) + ''; + + preInstall = '' + installFlagsArray=(udevdir=$TMPDIR/dummy) + ''; + + meta = { + homepage = http://www.kernel.org/pub/linux/utils/kernel/hotplug/udev.html; + description = "Udev manages the /dev filesystem"; + }; } |