From 487e458b61836ac3398fa83d623e5a07da5b2a7a Mon Sep 17 00:00:00 2001
From: Martin Aberg <martin@fripost.org>
Date: Sun, 17 Dec 2017 21:24:15 +0100
Subject: 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
---
 configure | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'configure')

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
-- 
cgit v1.2.3