From f00f9a7bd36a2df3ae9c53c067ae3e14fe9cc8cf Mon Sep 17 00:00:00 2001 From: DoctorNoobingstoneIPresume Date: Sat, 2 Sep 2023 17:03:38 +0300 Subject: [PATCH] configure: Support --sharedlibdir, --archs, --disable-shared. Previously, only --archs= and --sharedlibdir= used to be supported. But other directories can be specified both with an equals sign and with a separate argument, e.g.: --prefix=/usr/my/directory --prefix /usr/my/directory so now we are allowing the same for --archs and --sharedlibdir. Also, we are adding --disable-shared as an alias for --static. --- configure | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/configure b/configure index 7aaf5dfa3..c2e1e4aa4 100755 --- a/configure +++ b/configure @@ -128,14 +128,16 @@ case "$1" in -p* | --prefix) prefix="$2"; shift; shift ;; -e* | --eprefix) exec_prefix="$2"; shift; shift ;; -l* | --libdir) libdir="$2"; shift; shift ;; + --sharedlibdir) sharedlibdir="$2"; shift; shift ;; -i* | --includedir) includedir="$2"; shift; shift ;; -s* | --shared | --enable-shared) shared=1; shift ;; - -t | --static) shared=0; shift ;; + -t | --static | --disable-shared) shared=0; shift ;; --solo) solo=1; shift ;; --cover) cover=1; shift ;; -z* | --zprefix) zprefix=1; shift ;; -6* | --64) build64=1; shift ;; -a*=* | --archs=*) ARCHS=`echo $1 | sed 's/.*=//'`; shift ;; + --archs) ARCHS="$2"; shift; shift ;; --sysconfdir=*) echo "ignored option: --sysconfdir" | tee -a configure.log; shift ;; --localstatedir=*) echo "ignored option: --localstatedir" | tee -a configure.log; shift ;; -c* | --const) zconst=1; shift ;;