summaryrefslogtreecommitdiffstats
path: root/build/external
diff options
context:
space:
mode:
authorTom Jones <thj@freebsd.org>2024-01-18 10:48:17 +0000
committerDamjan Marion <dmarion@0xa5.net>2024-01-21 14:42:03 +0000
commit0aa0d6ffbe9bf02c3179b7cb2b978d1896655e05 (patch)
tree0484efabd127b75916d4f114187dd6329ab3ee04 /build/external
parent038dad7ef29b0b724071edb5f8cc7a9845584454 (diff)
build: Explicitly use gmake
VPP requires GNU Make to build, on GNU systems (such as Debian), GNU Make is installed as 'make', typically with a symlink from 'gmake'. On other systems (such as FreeBSD), 'make' is a BSD Make derriviative and GNU Make is installed a 'gmake'. Use $(MAKE) variable for make calls from within Makefiles. This variable is set to the path of the calling make program, i.e., /usr/local/bin/gmake on a bsd system. This is the recommended way to call make from Makefiles in the GNU Make documentation. Type: improvement Change-Id: Id9162a34a0f8358f22090718087918dae31c0fce Signed-off-by: Tom Jones <thj@freebsd.org>
Diffstat (limited to 'build/external')
-rw-r--r--build/external/Makefile7
1 files changed, 3 insertions, 4 deletions
diff --git a/build/external/Makefile b/build/external/Makefile
index a445d7b21ee..af2512c4614 100644
--- a/build/external/Makefile
+++ b/build/external/Makefile
@@ -15,7 +15,6 @@
SHELL := $(shell which bash)
DL_CACHE_DIR = $(HOME)/Downloads
-MAKE ?= make
MAKE_ARGS ?= -j
BUILD_DIR ?= $(CURDIR)/_build
INSTALL_DIR ?= $(CURDIR)/_install
@@ -159,17 +158,17 @@ ifeq ($(INSTALLED_VER)$(INSTALLED_RPM_VER),)
@echo "development package by invoking 'make install-ext-deps'"
@echo "from the top level directory"
@echo "=========================================================="
- make config
+ $(MAKE) config
else
ifneq ($(INSTALLED_VER),)
make check-deb
endif
ifneq ($(INSTALLED_RPM_VER),)
- make check-rpm
+ $(MAKE) check-rpm
endif
endif
ebuild-install:
ifeq ($(INSTALLED_VER)$(INSTALLED_RPM_VER),)
- make install
+ $(MAKE) install
endif