From 355184d1097a9b6ab2961d3ed523fdc0e7390b2c Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Tue, 6 Jul 2021 09:07:37 +0200 Subject: [PATCH] Framework: allow DEVABI override --- Mk/defaults.mk | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/Mk/defaults.mk b/Mk/defaults.mk index b6fac0244..57f9e3959 100644 --- a/Mk/defaults.mk +++ b/Mk/defaults.mk @@ -72,11 +72,15 @@ _PLUGIN_PYTHON!=${PYTHONLINK} -V PLUGIN_PYTHON?= ${_PLUGIN_PYTHON:[2]:S/./ /g:[1..2]:tW:S/ //} .endif -.for REPLACEMENT in ABI PHP PYTHON -. if empty(PLUGIN_${REPLACEMENT}) -. error Cannot build without PLUGIN_${REPLACEMENT} set -. endif -.endfor +.if empty(DEVABI) +. for REPLACEMENT in ABI PHP PYTHON +. if empty(PLUGIN_${REPLACEMENT}) +. error Cannot build without PLUGIN_${REPLACEMENT} set +. endif +. endfor +.else +PLUGIN_ABI= ${DEVABI} +.endif REPLACEMENTS= PLUGIN_ABI \ PLUGIN_ARCH \