You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
372 B
11 lines
372 B
#!@bash@ -e
|
|
src_dir="@out@/lib/rustlib/src/rust/library"
|
|
if [[ ! -v XARGO_RUST_SRC ]]; then
|
|
if [[ ! -d "$src_dir" ]]; then
|
|
echo '`rust-src` is required by miri but not installed.' >&2
|
|
echo 'Please either install component `rust-src` or set `XARGO_RUST_SRC`.' >&2
|
|
exit 1
|
|
fi
|
|
export XARGO_RUST_SRC="$src_dir"
|
|
fi
|
|
exec -a "$0" "@miri@" "$@"
|
|
|