mirror of
https://github.com/omar-polo/gmid.git
synced 2024-09-27 21:11:51 +02:00
configure: support --prefix=...
It's like passing PREFIX=... on the command line
This commit is contained in:
parent
ae0d3cdbbe
commit
34c4ca6ebc
@ -1,3 +1,7 @@
|
||||
2021-12-09 Omar Polo <op@omarpolo.com>
|
||||
|
||||
* configure: add --prefix=... long argument.
|
||||
|
||||
2021-11-16 Omar Polo <op@omarpolo.com>
|
||||
|
||||
* configure (singletest): fix the cross-compilation: don't run the test binaries just built
|
||||
|
15
configure
vendored
15
configure
vendored
@ -127,13 +127,14 @@ for keyvals in "$@"; do
|
||||
fi
|
||||
val=`echo $keyvals | cut -d '=' -f 2-`
|
||||
case "$key" in
|
||||
BINDIR) BINDIR="$val" ;;
|
||||
CC) CC="$val" ;;
|
||||
CFLAGS) CFLAGS="$val" ;;
|
||||
DESTDIR) DESTDIR="$val" ;;
|
||||
LDFLAGS) LDFLAGS="$val" ;;
|
||||
PREFIX) PREFIX="$val" ;;
|
||||
YACC) YACC="$val" ;;
|
||||
BINDIR) BINDIR="$val" ;;
|
||||
CC) CC="$val" ;;
|
||||
CFLAGS) CFLAGS="$val" ;;
|
||||
DESTDIR) DESTDIR="$val" ;;
|
||||
LDFLAGS) LDFLAGS="$val" ;;
|
||||
PREFIX) PREFIX="$val" ;;
|
||||
YACC) YACC="$val" ;;
|
||||
--prefix) PREFIX="$val" ;;
|
||||
*)
|
||||
echo "$0: invalid key: $key" 1>&2
|
||||
exit 1
|
||||
|
Loading…
Reference in New Issue
Block a user