diff options
| author | Christian Hesse <mail@eworm.de> | 2016-03-21 14:20:57 +0100 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2016-03-21 14:51:13 +0100 |
| commit | 0a06a8885bab015eb05db9445e760b969bc0199f (patch) | |
| tree | a7b35700ddca66046d23306f883417e260ee0650 | |
| parent | 740410636541e2c0e4c663209306530d47419ec3 (diff) | |
| download | vis-0a06a8885bab015eb05db9445e760b969bc0199f.tar.gz vis-0a06a8885bab015eb05db9445e760b969bc0199f.tar.xz | |
configure: make man and share directories configurable
| -rwxr-xr-x | configure | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -19,6 +19,8 @@ Installation directories: Fine tuning of the installation directories: --bindir=DIR user executables [EPREFIX/bin] + --sharedir=DIR share directories [PREFIX/share] + --mandir=DIR man pages [PREFIX/share/man] Optional features: --enable-lua build with Lua support [auto] @@ -107,6 +109,8 @@ srcdir= prefix=/usr/local exec_prefix='$(prefix)' bindir='$(exec_prefix)/bin' +sharedir='$(prefix)/share' +mandir='$(prefix)/share/man' lua=auto selinux=auto @@ -119,6 +123,8 @@ case "$arg" in --prefix=*) prefix=${arg#*=} ;; --exec-prefix=*) exec_prefix=${arg#*=} ;; --bindir=*) bindir=${arg#*=} ;; +--sharedir=*) sharedir=${arg#*=} ;; +--mandir=*) mandir=${arg#*=} ;; --enable-lua|--enable-lua=yes) lua=yes ;; --disable-lua|--enable-lua=no) lua=no ;; --enable-selinux|--enable-selinux=yes) selinux=yes ;; @@ -420,8 +426,8 @@ srcdir = $srcdir prefix = $prefix exec_prefix = $exec_prefix bindir = $bindir -MANPREFIX = $prefix/share/man -SHAREPREFIX = $prefix/share/vis +MANPREFIX = $mandir +SHAREPREFIX = $sharedir CC = $CC CFLAGS = $CFLAGS CFLAGS_STD = $CFLAGS_STD |