cmake: Add program prefix option. (#2515)

1 files changed, 7 insertions, 0 deletions

diff --git a/configure.sh b/configure.sh
index b92c48ad4..16764dd8a 100755
--- a/configure.sh
+++ b/configure.sh
@@ -15,6 +15,7 @@ Build types:
 General options;
   -h, --help               display this help and exit
   --prefix=STR             install directory
+  --program-prefix=STR     prefix of binaries prepended on make install
   --name=STR               use custom build directory name (optionally: +path)
   --best                   turn on dependencies known to give best performance
   --gpl                    permit GPL dependencies, if available
@@ -95,6 +96,7 @@ msg () {
 
 build_dir=build
 install_prefix=default
+program_prefix=""
 
 #--------------------------------------------------------------------------#
 
@@ -174,6 +176,9 @@ do
         esac
         ;;
 
+    --program-prefix) die "missing argument to $1 (try -h)" ;;
+    --program-prefix=*) program_prefix=${1##*=} ;;
+
     --name) die "missing argument to $1 (try -h)" ;;
     --name=*) build_dir=${1##*=} ;;
 
@@ -401,6 +406,8 @@ cmake_opts=""
   && cmake_opts="$cmake_opts -DSYMFPU_DIR=$symfpu_dir"
 [ "$install_prefix" != default ] \
   && cmake_opts="$cmake_opts -DCMAKE_INSTALL_PREFIX=$install_prefix"
+[ -n "$program_prefix" ] \
+  && cmake_opts="$cmake_opts -DPROGRAM_PREFIX=$program_prefix"
 
 root_dir=$(pwd)