summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-04-20 14:57:34 -0400
committermidipix <writeonce@midipix.org>2016-11-10 23:35:40 -0500
commit58536c3316de1dcd696166cbab68042653710ee1 (patch)
tree28f17f0d5c677d18464a474906fdd9dad2e14cd3 /configure
parent9d2880e651607febe0c65e0b225c73106e123811 (diff)
downloadperk-58536c3316de1dcd696166cbab68042653710ee1.tar.bz2
perk-58536c3316de1dcd696166cbab68042653710ee1.tar.xz
build system: added --exec-prefix support.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure
index fc22842..4d83a9b 100755
--- a/configure
+++ b/configure
@@ -30,6 +30,7 @@ init_vars()
# dirs
mb_prefix=$PREFIX
+ mb_exec_prefix=$EXEC_PREFIX
mb_bindir=$BINDIR
mb_libdir=$LIBDIR
mb_includedir=$INCLUDEDIR
@@ -107,6 +108,7 @@ common_defaults()
{
# dirs
[ -z "$mb_prefix" ] && mb_prefix=$mb_default_prefix
+ [ -z "$mb_exec_prefix" ] && mb_exec_prefix=$mb_default_exec_prefix
[ -z "$mb_bindir" ] && mb_bindir=$mb_default_bindir
[ -z "$mb_libdir" ] && mb_libdir=$mb_default_libdir
[ -z "$mb_includedir" ] && mb_includedir=$mb_default_includedir
@@ -337,6 +339,7 @@ config_copy()
-e 's^@elf_config\_defs@^'"$mb_elf_config_defs"'^g' \
\
-e 's^@prefix@^'"$mb_prefix"'^g' \
+ -e 's^@exec_prefix@^'"$mb_exec_prefix"'^g' \
-e 's^@bindir@^'"$mb_bindir"'^g' \
-e 's^@libdir@^'"$mb_libdir"'^g' \
-e 's^@includedir@^'"$mb_includedir"'^g' \
@@ -390,6 +393,9 @@ for arg ; do
--prefix=*)
mb_prefix=${arg#*=}
;;
+ --exec-prefix=*)
+ mb_exec_prefix=${arg#*=}
+ ;;
--bindir=*)
mb_bindir=${arg#*=}
;;