diff options
Diffstat (limited to 'pkgs/development/tools/build-managers/gnumake/4.2/default.nix')
-rw-r--r-- | pkgs/development/tools/build-managers/gnumake/4.2/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/tools/build-managers/gnumake/4.2/default.nix b/pkgs/development/tools/build-managers/gnumake/4.2/default.nix index 7d56e55ebdb..21e9abd04f2 100644 --- a/pkgs/development/tools/build-managers/gnumake/4.2/default.nix +++ b/pkgs/development/tools/build-managers/gnumake/4.2/default.nix @@ -40,10 +40,7 @@ stdenv.mkDerivation rec { outputs = [ "out" "man" "info" ]; meta = with lib; { - homepage = "https://www.gnu.org/software/make/"; description = "A tool to control the generation of non-source files from sources"; - license = licenses.gpl3Plus; - longDescription = '' Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. @@ -54,8 +51,11 @@ stdenv.mkDerivation rec { should write a makefile for it, so that it is possible to use Make to build and install the program. ''; + homepage = "https://www.gnu.org/software/make/"; - platforms = platforms.all; + license = licenses.gpl3Plus; maintainers = [ maintainers.vrthra ]; + mainProgram = "make"; + platforms = platforms.all; }; } |