diff options
| author | Martin Aberg <martin@fripost.org> | 2017-12-17 21:24:15 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-18 06:05:48 +0100 |
| commit | 487e458b61836ac3398fa83d623e5a07da5b2a7a (patch) | |
| tree | af7743d405816f34ea9b1a57d31f386f8014191d /src | |
| parent | faa1c0ef7bba215666443f133eb732cca14109d7 (diff) | |
| download | ghdl-487e458b61836ac3398fa83d623e5a07da5b2a7a.tar.gz ghdl-487e458b61836ac3398fa83d623e5a07da5b2a7a.tar.bz2 ghdl-487e458b61836ac3398fa83d623e5a07da5b2a7a.zip | |
configure: Allow user to specify make tool
configure runs the 'create-dirs' target in Makefile (generated from
Makefile.in). This Makefile requires GNU Make. In FreeBSD systems, the
command 'make' is the BSD make utility and GNU Make is available in the
package management system. When GNU Make is installed in FreeBSD, the
command has the name 'gmake'.
This commit allows the user to specify a make tool with the MAKE
environvent variable. If not specified, 'make' is the default.
Example:
MAKE=gmake configure
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions