Re: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-19 Thread Eli Zaretskii
> From: Paul Smith > Cc: thirdedit...@gmx.net, bug-make@gnu.org > Date: Tue, 19 Nov 2019 09:22:17 -0500 > > On Fri, 2019-11-15 at 15:52 +0200, Eli Zaretskii wrote: > > Ping! Paul, did you have a chance to look at this issue? > > Sorry, I'm quite underwater. I hope to be able to do a bit of mak

Re: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-19 Thread Paul Smith
On Fri, 2019-11-15 at 15:52 +0200, Eli Zaretskii wrote: > Ping! Paul, did you have a chance to look at this issue? Sorry, I'm quite underwater. I hope to be able to do a bit of make work over the next few weeks: get out a final RC and a release. For this, I don't really understand the issue :).

Re: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-15 Thread Eli Zaretskii
Ping! Paul, did you have a chance to look at this issue? > Date: Thu, 07 Nov 2019 17:29:48 +0200 > From: Eli Zaretskii > Cc: bug-make@gnu.org > > > From: "Jannick" > > Cc: > > Date: Thu, 7 Nov 2019 12:32:23 +0100 > > > > Subject: [PATCH 03/13] Windows build: add optional cmd line flag --exe-

Re: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-07 Thread Eli Zaretskii
> From: "Jannick" > Cc: > Date: Thu, 7 Nov 2019 12:32:23 +0100 > > Subject: [PATCH 03/13] Windows build: add optional cmd line flag --exe-name to > build_w32.bat > > This commit helps the user choose a name for the GNUMake executable > different from the default 'gnumake.exe' used at link time

RE: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-07 Thread Jannick
On Mon, 04 Nov 2019 05:35:46 +0200, Eli Zaretskii wrote: > And how do you suggest to fix this? For your consideration attached 3 patches implementing the suggested idea: a new optional command line flag '--exe-name' to build_w32.bat to help the user pass an executable name (default: 'gnumake') us

Re: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-03 Thread Eli Zaretskii
> From: "Jannick" > Cc: > Date: Sun, 3 Nov 2019 22:01:06 +0100 > > > In particular, can you show how the hard-coded name of the executable > > prevents linking against the import library? > > As said above, the issue is not about linking the dll (which should always > work), but that the plugin

RE: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-03 Thread Jannick
Hi Eli, Many thanks for looking into this! On Sun, 03 Nov 2019 17:35:42 +0200, Eli Zaretskii wrote: > > From: "Jannick" > > Date: Sun, 3 Nov 2019 13:30:11 +0100 > > > > Would it be possible to pass to build_w32.bat in an optional command > > line argument the executable name (currently hard code

Re: [build_w32.bat] feature request: add optional command line argument for executable name

2019-11-03 Thread Eli Zaretskii
> From: "Jannick" > Date: Sun, 3 Nov 2019 13:30:11 +0100 > > Would it be possible to pass to build_w32.bat in an optional command line > argument the executable name (currently hard coded in the variable MAKE as > 'gnumake')? > > When creating a plugin (.dll) with GCC (by linking against gnumake