blob: 9f327afc600cb890871115d66fa2a575ba21f188 [file] [log] [blame]
#!/usr/bin/env bash
#
# Performs an operation on all targets
set -ex
: ${1?"The all.sh script requires one argument."}
op=$1
cargo_clean() {
cargo clean
}
cargo_check_fmt() {
cargo fmt --all -- --check
}
cargo_fmt() {
cargo fmt --all
}
cargo_clippy() {
cargo clippy --all -- -D clippy::pedantic
}
CMD="-1"
case $op in
clean*)
CMD=cargo_clean
;;
check_fmt*)
CMD=cargo_check_fmt
;;
fmt*)
CMD=cargo_fmt
;;
clippy)
CMD=cargo_clippy
;;
*)
echo "Unknown operation: \"${op}\""
exit 1
;;
esac
echo "Operation is: ${CMD}"
# On src/
$CMD
# Check examples/
for dir in examples/*/
do
dir=${dir%*/}
cd ${dir%*/}
$CMD
cd -
done
cd verify/verify
$CMD
cd -