diff options
author | James D. Trotter <james@simula.no> | 2018-10-05 22:24:24 +0200 |
---|---|---|
committer | James D. Trotter <james@simula.no> | 2018-10-05 22:27:53 +0200 |
commit | f77fe3f27daa9cfce0083f877c42b38d11aac3e3 (patch) | |
tree | a68a103948b2cb9770dbf834c9b1cbde2bfd9a9a /pkgs/development/tools/gnulib | |
parent | 5bba9f3906c7a3070da290331aa232f38851a50d (diff) |
gnulib: add a symlink from bin/gnulib-tool to gnulib-tool
This makes gnulib-tool available in the user's path after installing gnulib.
Diffstat (limited to 'pkgs/development/tools/gnulib')
-rw-r--r-- | pkgs/development/tools/gnulib/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/tools/gnulib/default.nix b/pkgs/development/tools/gnulib/default.nix index eeaec8eb0335b..f7aad74cf9b50 100644 --- a/pkgs/development/tools/gnulib/default.nix +++ b/pkgs/development/tools/gnulib/default.nix @@ -14,6 +14,8 @@ stdenv.mkDerivation { installPhase = '' mkdir -p $out; mv * $out/ ln -s $out/lib $out/include + mkdir -p $out/bin + ln -s $out/gnulib-tool $out/bin/ ''; meta = { |