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

1 files changed, 2 insertions, 1 deletions

diff --git a/configure b/configure
index 4c7f29c60..dbd6cbf88 100755
--- a/configure
+++ b/configure
@@ -8,6 +8,7 @@ CC=${CC:-gcc}
 CXX=${CXX:-clang++}
 CFLAGS=${CFLAGS:--g}
 GNATMAKE=${GNATMAKE:-gnatmake}
+MAKE=${MAKE:-make}
 LDFLAGS=
 prefix=/usr/local
 libdirsuffix=lib/ghdl
@@ -299,7 +300,7 @@ if ! sh ./config.status; then
 fi
 
 # Create dirs
-make create-dirs
+$MAKE create-dirs
 
 # Generate ortho_code-x86-flags
 if test $backend = mcode; then