2005-08-19 16:11:05 +02:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2008-06-30 00:27:50 +02:00
|
|
|
name = "udev-124";
|
2008-02-04 14:04:16 +01:00
|
|
|
|
2005-08-19 16:11:05 +02:00
|
|
|
src = fetchurl {
|
2008-06-30 00:27:50 +02:00
|
|
|
url = mirror://kernel/linux/utils/kernel/hotplug/udev-124.tar.bz2;
|
|
|
|
sha256 = "0hjmg82ivczm76kg9gm7x0sfji69bwwjbbfycfcdpnfrc13935x4";
|
2005-08-19 16:11:05 +02:00
|
|
|
};
|
2008-02-04 14:04:16 +01:00
|
|
|
|
|
|
|
# "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";
|
|
|
|
};
|
2005-08-19 16:11:05 +02:00
|
|
|
}
|