diff options
Diffstat (limited to 'tools.nix')
-rw-r--r-- | tools.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools.nix b/tools.nix new file mode 100644 index 0000000..5f90e27 --- /dev/null +++ b/tools.nix @@ -0,0 +1,21 @@ +{ stdenvNoCC }: +stdenvNoCC.mkDerivation { + name = "kernel-dev-tools"; + + src = ./tools; + + dontConfigure = true; + dontBuild = true; + + installPhase = '' + runHook preInstall + + mkdir -p $out/bin + + for script in *; do + install -m0555 "$script" $out/bin/ + done + + runHook preInstall + ''; +} |