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

add ./miri clippy

Browse Source
This commit is contained in:
Ralf Jung 2022-06-29 18:14:41 -04:00
parent 328a8c7a1e
commit 02f8cb2d55
3 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/ci.yml vendored
View File

@ -98,12 +98,8 @@ jobs:
./rustup-toolchain "" -c clippy ./rustup-toolchain "" -c clippy
- name: rustfmt - name: rustfmt
run: ./miri fmt --check run: ./miri fmt --check
- name: clippy (miri) - name: clippy
run: cargo clippy --all-targets -- -D warnings run: ./miri clippy -- -D warnings
#- name: Clippy (ui_test)
# run: cargo clippy --manifest-path ui_test/Cargo.toml --all-targets -- -D warnings
- name: clippy (cargo-miri)
run: cargo clippy --manifest-path cargo-miri/Cargo.toml --all-targets -- -D warnings
- name: rustdoc - name: rustdoc
run: RUSTDOCFLAGS="-Dwarnings" cargo doc --document-private-items run: RUSTDOCFLAGS="-Dwarnings" cargo doc --document-private-items

8
miri
View File

@ -28,6 +28,9 @@ times and slower execution times.
./miri fmt <flags>: ./miri fmt <flags>:
Format all sources and tests. <flags> are passed to `rustfmt`. Format all sources and tests. <flags> are passed to `rustfmt`.
./miri clippy <flags>:
Format all sources and tests. <flags> are passed to `cargo clippy`.
ENVIRONMENT VARIABLES ENVIRONMENT VARIABLES
MIRI_SYSROOT: MIRI_SYSROOT:
@ -163,6 +166,11 @@ fmt)
find "$MIRIDIR" -not \( -name target -prune \) -name '*.rs' \ find "$MIRIDIR" -not \( -name target -prune \) -name '*.rs' \
| xargs rustfmt --edition=2021 --config-path "$MIRIDIR/rustfmt.toml" "$@" | xargs rustfmt --edition=2021 --config-path "$MIRIDIR/rustfmt.toml" "$@"
;; ;;
clippy)
cargo clippy $CARGO_BUILD_FLAGS --manifest-path "$MIRIDIR"/Cargo.toml --all-targets "$@"
#cargo clippy $CARGO_BUILD_FLAGS --manifest-path "$MIRIDIR"/ui_test/Cargo.toml --all-targets "$@"
cargo clippy $CARGO_BUILD_FLAGS --manifest-path "$MIRIDIR"/cargo-miri/Cargo.toml "$@"
;;
*) *)
if [ -n "$COMMAND" ]; then if [ -n "$COMMAND" ]; then
echo "Unknown command: $COMMAND" echo "Unknown command: $COMMAND"

2
rustup-toolchain
View File

@ -42,7 +42,7 @@ fi
# Install and setup new toolchain. # Install and setup new toolchain.
rustup toolchain uninstall miri rustup toolchain uninstall miri
rustup-toolchain-install-master -n miri -c cargo -c rust-src -c rustc-dev -c llvm-tools -c rustfmt "$@" -- "$NEW_COMMIT" rustup-toolchain-install-master -n miri -c cargo -c rust-src -c rustc-dev -c llvm-tools -c rustfmt -c clippy "$@" -- "$NEW_COMMIT"
rustup override set miri rustup override set miri
# Cleanup. # Cleanup.