]>
Commit | Line | Data |
---|---|---|
f20569fa XL |
1 | #!/usr/bin/env bash |
2 | # | |
3 | # Performs an operation on all targets | |
4 | ||
5 | set -ex | |
6 | ||
7 | : ${1?"The all.sh script requires one argument."} | |
8 | ||
9 | op=$1 | |
10 | ||
11 | cargo_clean() { | |
12 | cargo clean | |
13 | } | |
14 | ||
15 | cargo_check_fmt() { | |
16 | cargo fmt --all -- --check | |
17 | } | |
18 | ||
19 | cargo_fmt() { | |
20 | cargo fmt --all | |
21 | } | |
22 | ||
23 | cargo_clippy() { | |
24 | cargo clippy --all -- -D clippy::pedantic | |
25 | } | |
26 | ||
27 | CMD="-1" | |
28 | ||
29 | case $op in | |
30 | clean*) | |
31 | CMD=cargo_clean | |
32 | ;; | |
33 | check_fmt*) | |
34 | CMD=cargo_check_fmt | |
35 | ;; | |
36 | fmt*) | |
37 | CMD=cargo_fmt | |
38 | ;; | |
39 | clippy) | |
40 | CMD=cargo_clippy | |
41 | ;; | |
42 | *) | |
43 | echo "Unknown operation: \"${op}\"" | |
44 | exit 1 | |
45 | ;; | |
46 | esac | |
47 | ||
48 | echo "Operation is: ${CMD}" | |
49 | ||
50 | # On src/ | |
51 | $CMD | |
52 | ||
53 | # Check examples/ | |
54 | for dir in examples/*/ | |
55 | do | |
56 | dir=${dir%*/} | |
57 | cd ${dir%*/} | |
58 | $CMD | |
59 | cd - | |
60 | done | |
61 | ||
62 | cd verify/verify | |
63 | $CMD | |
64 | cd - |