From 04cd68ef0da88d6651ff3ac1acbd26d15f27eec3 Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Jun 09 2018 00:48:13 +0000
Subject: build system: configure: support alternate bindir relative to exec_prefix.


---

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=*)