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 a3c8327655ee..c484bf952977 100644 --- a/pkgs/development/tools/build-managers/gnumake/4.2/default.nix +++ b/pkgs/development/tools/build-managers/gnumake/4.2/default.nix @@ -1,4 +1,6 @@ -{ stdenv, fetchurl }: +{ stdenv, fetchurl, guileSupport ? false, pkgconfig ? null , guile ? null }: + +assert guileSupport -> ( pkgconfig != null && guile != null ); let version = "4.2"; @@ -19,12 +21,16 @@ stdenv.mkDerivation { ./impure-dirs.patch ]; + buildInputs = stdenv.lib.optional guileSupport [ guile pkgconfig ]; + + configureFlags = stdenv.lib.optional guileSupport [ "--with-guile" ]; + outputs = [ "out" "doc" ]; - meta = { + meta = with stdenv.lib; { homepage = http://www.gnu.org/software/make/; description = "A tool to control the generation of non-source files from sources"; - license = stdenv.lib.licenses.gpl3Plus; + license = licenses.gpl3Plus; longDescription = '' Make is a tool which controls the generation of executables and @@ -37,6 +43,7 @@ stdenv.mkDerivation { to build and install the program. ''; - platforms = stdenv.lib.platforms.all; + platforms = platforms.all; + maintainers = [ maintainers.vrthra ]; }; }