diff --git a/configure b/configure index a3eb286f11de68fdb05c7685d4f6812c5853a559..169d8bb12e90e7cac5aca2e032cf671a528ad8c2 100755 --- a/configure +++ b/configure @@ -17,6 +17,7 @@ Fine tuning of the installation directories: --datarootdir=DATAROOTDIR read-only architecture-independent data root [PREFIX/share] --with-system-service=DIR 66 service intallation directory [DATAROOTDIR/$package_macro_dir/service] --with-system-seed=DIR system trees default configuration[DATAROOTDIR/$package_macro_dir/seed] + --execlinedir=DIR absolute path of execline binaries [BINDIR] Fine tunning of boot-user configuration: --DISPLAY_MANAGER=VALUE display manager to use [] @@ -91,6 +92,7 @@ bindir='$exec_prefix/bin' datarootdir='$prefix/share' service_directory='$datarootdir/$package_macro_dir/service' seed_directory='$datarootdir/$package_macro_dir/seed' +execlinedir='$bindir' DISPLAY_MANAGER= CONSOLE_TRACKER= XDG_RUNTIME='!yes' @@ -106,6 +108,7 @@ for arg ; do --datarootdir=*) datarootdir=${arg#*=} ;; --with-system-service=*) service_directory=${arg#*=} ;; --with-system-seed=*) seed_directory=${arg#*=} ;; + --execlinedir=*) execlinedir=${arg#*=} ;; --DISPLAY_MANAGER=*) DISPLAY_MANAGER=${arg#*=} ;; --CONSOLE_TRACKER=*) CONSOLE_TRACKER=${arg#*=} ;; --XDG_RUNTIME=*) XDG_RUNTIME=${arg#*=} ;; @@ -127,7 +130,7 @@ fi # Expand installation directories stripdir prefix for i in exec_prefix bindir datarootdir \ - seed_directory service_directory; do + seed_directory service_directory execlinedir; do eval tmp=\${$i} eval $i=$tmp stripdir $i @@ -186,6 +189,7 @@ datarootdir := $datarootdir service_directory := $service_directory seed_directory := $seed_directory package_macro_dir := $package_macro_dir +execlinedir := $execlinedir $DISPLAY_MANAGER $CONSOLE_TRACKER $XDG_RUNTIME