summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2018-06-09 00:10:34 +0000
committermidipix <writeonce@midipix.org>2018-06-08 20:51:50 -0400
commit483721fa94e6b9659c12293cbb3a4a427fcb2963 (patch)
treebd9f2cd3b70b3bb57b9b42427ebd7dfbc383b00f
parent80fd717092ea421d0b410e07b1962873227557bd (diff)
downloadpemagine-483721fa94e6b9659c12293cbb3a4a427fcb2963.tar.bz2
pemagine-483721fa94e6b9659c12293cbb3a4a427fcb2963.tar.xz
build system: configure: support alternate bindir relative to exec_prefix.
-rwxr-xr-xconfigure9
1 files changed, 8 insertions, 1 deletions
diff --git a/configure b/configure
index 49e3d8c..472bf07 100755
--- a/configure
+++ b/configure
@@ -172,7 +172,13 @@ common_defaults()
[ -z "$mb_exec_prefix" ] && [ -z "$mb_exec_prefix_set" ] \
&& mb_exec_prefix=$mb_prefix
- [ -z "$mb_bindir" ] && mb_bindir=$mb_exec_prefix/bin
+ [ -z "$mb_bindir" ] && [ -z "$mb_bindir_set" ] \
+ && [ -z "$mb_bindir_basename" ] \
+ && mb_bindir=$mb_exec_prefix/bin
+
+ [ -z "$mb_bindir" ] && [ -z "$mb_bindir_set" ] \
+ && mb_bindir=$mb_exec_prefix/$mb_bindir_basename
+
[ -z "$mb_sbindir" ] && mb_sbindir=$mb_exec_prefix/sbin
[ -z "$mb_libdir" ] && mb_libdir=$mb_exec_prefix/lib
[ -z "$mb_includedir" ] && mb_includedir=$mb_prefix/include
@@ -594,6 +600,7 @@ for arg ; do
mb_exec_prefix=${arg#*=}
;;
--bindir=*)
+ mb_bindir_set=yes
mb_bindir=${arg#*=}
;;
--sbindir=*)