diff options
Diffstat (limited to 'configure.sh')
-rw-r--r-- | configure.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh new file mode 100644 index 000000000000..9e36d43022d5 --- /dev/null +++ b/configure.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +TARGET=aarch64-linux-gnu + +PREFIX=/usr/$TARGET + +source $TARGET-environment + +# check if last arg is a path to configure, else use parent +for last; do true; done +if test -x "${last}/configure"; then + config_path="$last" +else + config_path=".." +fi + +${config_path}/configure \ + --host=$TARGET --target=$TARGET --build="$CHOST" \ + --prefix=$PREFIX \ + --enable-shared --enable-static "$@" |