2023-08-11 22:52:11 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
2023-08-12 16:44:04 -07:00
|
|
|
PROG=${0##*/}
|
2023-08-11 22:52:11 -07:00
|
|
|
MODE=${MODE:-$m}
|
|
|
|
COSMO=${COSMO:-/opt/cosmo}
|
|
|
|
|
2023-08-12 16:44:04 -07:00
|
|
|
fatal_error() {
|
|
|
|
echo "$PROG: $1" >&2
|
|
|
|
exit 1
|
|
|
|
}
|
|
|
|
|
2023-10-14 20:57:15 -07:00
|
|
|
if [ -x "$COSMO/o/third_party/gcc/bin/x86_64-linux-musl-gcc" ]; then
|
|
|
|
BRAND=musl
|
|
|
|
else
|
|
|
|
BRAND=cosmo
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ ! -x "$COSMO/o/third_party/gcc/bin/x86_64-linux-$BRAND-ar" ]; then
|
2023-08-13 15:03:09 -07:00
|
|
|
fatal_error "you need to run: x86_64-unknown-cosmo-cc --update"
|
2023-08-11 22:52:11 -07:00
|
|
|
fi
|
|
|
|
|
2023-10-14 20:57:15 -07:00
|
|
|
exec "$COSMO/o/third_party/gcc/bin/x86_64-linux-$BRAND-ar" "$@"
|