diff options
| author | midipix <writeonce@midipix.org> | 2018-06-09 00:10:34 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-06-08 20:51:51 -0400 |
| commit | e67d6f0cd55e8b0cd84d3a7e3a196fca6f5595c2 (patch) | |
| tree | d121e3a6c2fd62f97cfdc1a6e2da6daa63e356f0 /configure | |
| parent | 369a20020572694008d7caa8000f8442397c5ad2 (diff) | |
| download | ptycon-e67d6f0cd55e8b0cd84d3a7e3a196fca6f5595c2.tar.bz2 ptycon-e67d6f0cd55e8b0cd84d3a7e3a196fca6f5595c2.tar.xz | |
build system: configure: support alternate bindir relative to exec_prefix.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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=*) |