mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix miri script

Browse Source
This commit is contained in:
Ralf Jung 2022-07-20 20:37:54 -04:00
parent 517e1d78b8
commit 4d4eeca8a8
1 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
miri
View File

@ -48,33 +48,34 @@ Pass extra flags to all cargo invocations.
EOF EOF
) )
## Run the subcommands that the user requested to always run first ## We need to know where we are.
# macOS does not have a useful readlink/realpath so we have to use Python instead...
MIRIDIR=$(python3 -c 'import os, sys; print(os.path.dirname(os.path.realpath(sys.argv[1])))' "$0")
## Run the auto-things.
if [ -z "$AUTO_OPS" ]; then if [ -z "$AUTO_OPS" ]; then
export AUTO_OPS=42 export AUTO_OPS=42
# Run this first, so that the toolchain doesn't change after # Run this first, so that the toolchain doesn't change after
# other code has run. # other code has run.
if [ -f ".auto-everything" ] || [ -f ".auto-toolchain" ] ; then if [ -f "$MIRIDIR/.auto-everything" ] || [ -f "$MIRIDIR/.auto-toolchain" ] ; then
"$MIRIDIR"/rustup-toolchain "$MIRIDIR"/rustup-toolchain
fi fi
if [ -f ".auto-everything" ] || [ -f ".auto-fmt" ] ; then if [ -f "$MIRIDIR/.auto-everything" ] || [ -f "$MIRIDIR/.auto-fmt" ] ; then
$0 fmt $0 fmt
fi fi
if [ -f ".auto-everything" ] || [ -f ".auto-clippy" ] ; then if [ -f "$MIRIDIR/.auto-everything" ] || [ -f "$MIRIDIR/.auto-clippy" ] ; then
$0 clippy -- -D warnings $0 clippy -- -D warnings
fi fi
fi fi
## Preparation ## Determine command and toolchain.
# macOS does not have a useful readlink/realpath so we have to use Python instead...
MIRIDIR=$(python3 -c 'import os, sys; print(os.path.dirname(os.path.realpath(sys.argv[1])))' "$0")
TOOLCHAIN=$(cd "$MIRIDIR"; rustup show active-toolchain | head -n 1 | cut -d ' ' -f 1)
# Determine command.
COMMAND="$1" COMMAND="$1"
[ $# -gt 0 ] && shift [ $# -gt 0 ] && shift
# Doing this *after* auto-toolchain logic above, since that might change the toolchain.
TOOLCHAIN=$(cd "$MIRIDIR"; rustup show active-toolchain | head -n 1 | cut -d ' ' -f 1)
## Handle some commands early, since they should *not* alter the environment. ## Handle some commands early, since they should *not* alter the environment.
case "$COMMAND" in case "$COMMAND" in