configure

changeset 104
1b7716b156a4
parent 88
d16a65833c8a
--- a/configure	Sat Jul 04 12:28:16 2026 +0200
+++ b/configure	Sun Jul 05 12:26:02 2026 +0200
@@ -89,6 +89,41 @@
         echo
         echo "Configuration:"
     fi
+if true \
+      ; then
+    :
+    if [ -z "$prefix__described__" ] ; then
+        prefix__described__=1
+        cat << '__EOF__'
+  --prefix                path prefix for architecture-independent files [/usr]
+__EOF__
+    fi
+    if [ -z "$exec_prefix__described__" ] ; then
+        exec_prefix__described__=1
+        cat << '__EOF__'
+  --exec-prefix           path prefix for architecture-dependent files [PREFIX]
+__EOF__
+    fi
+    if [ -z "$bindir__described__" ] ; then
+        bindir__described__=1
+        cat << '__EOF__'
+  --bindir                user executables [EPREFIX/bin]
+__EOF__
+    fi
+    if [ -z "$datarootdir__described__" ] ; then
+        datarootdir__described__=1
+        cat << '__EOF__'
+  --datarootdir           read-only architecture-independent data root 
+                          [PREFIX/share]
+__EOF__
+    fi
+    if [ -z "$mandir__described__" ] ; then
+        mandir__described__=1
+        cat << '__EOF__'
+  --mandir                man documentation [DATAROOTDIR/man]
+__EOF__
+    fi
+fi
     cat << '__EOF__'
 
 Build Types:
@@ -114,6 +149,35 @@
 
 # config variables
 has_overridable_config_vars__=0
+if true \
+      ; then
+    :
+    if [ -z "$prefix__initialized__" ] ; then
+        has_overridable_config_vars__=1
+        prefix__initialized__=1
+        prefix='/usr'
+    fi
+    if [ -z "$exec_prefix__initialized__" ] ; then
+        has_overridable_config_vars__=1
+        exec_prefix__initialized__=1
+        exec_prefix=''
+    fi
+    if [ -z "$bindir__initialized__" ] ; then
+        has_overridable_config_vars__=1
+        bindir__initialized__=1
+        bindir=''
+    fi
+    if [ -z "$datarootdir__initialized__" ] ; then
+        has_overridable_config_vars__=1
+        datarootdir__initialized__=1
+        datarootdir=''
+    fi
+    if [ -z "$mandir__initialized__" ] ; then
+        has_overridable_config_vars__=1
+        mandir__initialized__=1
+        mandir=''
+    fi
+fi
 
 # features
 
@@ -124,6 +188,11 @@
 for ARG in "$@"
 do
     case "$ARG" in
+        "--prefix="*) prefix=${ARG#--prefix=} ;;
+        "--exec-prefix="*) exec_prefix=${ARG#--exec-prefix=} ;;
+        "--bindir="*) bindir=${ARG#--bindir=} ;;
+        "--datarootdir="*) datarootdir=${ARG#--datarootdir=} ;;
+        "--mandir="*) mandir=${ARG#--mandir=} ;;
         "--help"*) printhelp ;;
         "--debug") BUILD_TYPE="debug" ;;
         "--release") BUILD_TYPE="release" ;;
@@ -228,6 +297,11 @@
 
 # generate vars.mk
 echo '# configuration' > "$TEMP_DIR/vars.mk"
+echo "prefix=$prefix" >> "$TEMP_DIR/vars.mk"
+echo "exec_prefix=$exec_prefix" >> "$TEMP_DIR/vars.mk"
+echo "bindir=$bindir" >> "$TEMP_DIR/vars.mk"
+echo "datarootdir=$datarootdir" >> "$TEMP_DIR/vars.mk"
+echo "mandir=$mandir" >> "$TEMP_DIR/vars.mk"
 echo >> "$TEMP_DIR/vars.mk"
 
 #
@@ -361,6 +435,26 @@
 if [ $has_overridable_config_vars__ -eq 1 ]; then
     echo
     echo "Config:"
+    if [ -n "$prefix__initialized__" ]; then
+        printf '  %-16s' 'prefix:'
+        echo "$prefix"
+    fi
+    if [ -n "$exec_prefix__initialized__" ]; then
+        printf '  %-16s' 'exec-prefix:'
+        echo "$exec_prefix"
+    fi
+    if [ -n "$bindir__initialized__" ]; then
+        printf '  %-16s' 'bindir:'
+        echo "$bindir"
+    fi
+    if [ -n "$datarootdir__initialized__" ]; then
+        printf '  %-16s' 'datarootdir:'
+        echo "$datarootdir"
+    fi
+    if [ -n "$mandir__initialized__" ]; then
+        printf '  %-16s' 'mandir:'
+        echo "$mandir"
+    fi
 fi
 echo
 

mercurial