diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-24 11:44:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-24 11:44:41 -0700 |
commit | 7bfcbebe0f7db7d336cae04ccdfdc3c2b1aff69b (patch) | |
tree | 94737563af211d79513f353c5f5c86a72c849fcf /configure.sh | |
parent | 87e6a08ff94c74d13453c76adaba8f729c7a958c (diff) |
cmake: Add program prefix option. (#2515)
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 7 |
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) |