Package: make Version: 4.1-9.1 Severity: wishlist Tags: patch Please provide a compatibility symlink /usr/bin/gmake. Presently this name is unowned in Debian (no package provides the gmake command), so adding it is generally harmless.
Adding it improves compatibility with non-Linux distributions such as FreeBSD. There the make command is occupied by another make implementation and GNU make is called "gmake"[1]. Third party software such as Xilinx HSM also wants to refer to GNU make via gmake. I think adding this name to Debian would be a reasonable trade-off. The attached patch is untested, because #891365. I hope it works anyway. Helmut [1] https://stackoverflow.com/questions/1194957/what-is-the-difference-between-gmake-and-make
diff -u make-dfsg-4.2.1/debian/changelog make-dfsg-4.2.1/debian/changelog --- make-dfsg-4.2.1/debian/changelog +++ make-dfsg-4.2.1/debian/changelog @@ -1,3 +1,10 @@ +make-dfsg (4.2.1-1.1) UNRELEASED; urgency=medium + + * Non-maintainer upload. + * Allow calling it as "gmake". (Closes: #-1) + + -- Helmut Grohne <h.gro...@intenta.de> Mon, 07 May 2018 09:44:42 +0200 + make-dfsg (4.2.1-1) unstable; urgency=medium * New Upsrteam release. only in patch2: unchanged: --- make-dfsg-4.2.1.orig/debian/make-guile.links +++ make-dfsg-4.2.1/debian/make-guile.links @@ -0,0 +1,2 @@ +make usr/bin/gmake +make.1.gz usr/share/man/man1/gmake.1.gz only in patch2: unchanged: --- make-dfsg-4.2.1.orig/debian/make.links +++ make-dfsg-4.2.1/debian/make.links @@ -0,0 +1,2 @@ +make usr/bin/gmake +make.1.gz usr/share/man/man1/gmake.1.gz
