summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-10 13:49:05 +0000
committermidipix <writeonce@midipix.org>2021-04-10 20:54:48 +0000
commit18df6ede31fc7e49fc9e803a32c518501db39ee8 (patch)
tree7e04f45c92898755f32124a7620f1593ca624094
parent2521cb36e643626d35dc0beb438de7d52dfe816e (diff)
downloadpemagine-18df6ede31fc7e49fc9e803a32c518501db39ee8.tar.bz2
pemagine-18df6ede31fc7e49fc9e803a32c518501db39ee8.tar.xz
build system: configure: added --makemode and MAKEMODE support.
-rw-r--r--Makefile.in2
-rw-r--r--config.usage2
-rwxr-xr-xconfigure9
-rw-r--r--sofort/config/config.vars1
4 files changed, 13 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index ed90b5f..00238b1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -41,7 +41,7 @@ SRCBALL_URL = @srcball_url@
SRCBALL_SHA256 = @srcball_sha256@
MAKE = @make@
-MAKEMODE = posix
+MAKEMODE = @makemode@
BUILD = @build@
HOST = @host@
diff --git a/config.usage b/config.usage
index 8422fff..98c36a6 100644
--- a/config.usage
+++ b/config.usage
@@ -60,6 +60,7 @@ supported switches:
--psdir
--make
+ --makemode
--build
--host
@@ -127,6 +128,7 @@ supported variables:
CXX
MAKE
+ MAKEMODE
BUILD
HOST
diff --git a/configure b/configure
index a555eb6..ff05411 100755
--- a/configure
+++ b/configure
@@ -214,6 +214,7 @@ init_vars()
# make
mb_make=$MAKE
+ mb_makemode=$MAKEMODE
# build
mb_build=$BUILD
@@ -608,6 +609,10 @@ common_defaults()
mb_make='make'
fi
+ if [ -z "$mb_makemode" ]; then
+ mb_makemode='posix'
+ fi
+
# shell
if [ -z "$mb_shell" ]; then
mb_shell='/bin/sh'
@@ -943,6 +948,10 @@ for arg ; do
mb_make=${arg#*=}
;;
+ --makemode=*)
+ mb_makemode=${arg#*=}
+ ;;
+
# build
--build=*)
mb_build=${arg#*=}
diff --git a/sofort/config/config.vars b/sofort/config/config.vars
index 7df24b3..3420fa8 100644
--- a/sofort/config/config.vars
+++ b/sofort/config/config.vars
@@ -39,6 +39,7 @@ srcball_sha256
make
+makemode
build
host