32 lines
649 B
Bash
32 lines
649 B
Bash
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
cd "$repo_root"
|
|
|
|
host_bins=(
|
|
--bin 00_check
|
|
--bin 01_rust_basics
|
|
--bin 02_ownership
|
|
--bin 03_types
|
|
--bin 07_events
|
|
--bin 09_sensor_pipeline
|
|
--bin 10_motor_commands
|
|
--bin 11_kinematics
|
|
)
|
|
|
|
embedded_bins=(
|
|
--target thumbv7m-none-eabi
|
|
--bin 04_first_firmware
|
|
--bin 05_rgb_output
|
|
--bin 06_button_events
|
|
--bin 08_state_machine
|
|
--bin 12_embassy
|
|
)
|
|
|
|
cargo fmt --all --check
|
|
cargo clippy "${host_bins[@]}" -- -D warnings
|
|
cargo clippy "${embedded_bins[@]}" -- -D warnings
|
|
cargo test "${host_bins[@]}"
|
|
cargo build "${embedded_bins[@]}"
|