forked from tnballo/high-assurance-rust
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
35 lines (29 loc) · 1.03 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
serve:
mdbook serve
read:
mdbook serve --open
# TODO: clean up command duplication, this is gross
check:
# Book
mdbook test
# Code snippets
cd code_snippets/chp2/crypto_tool && cargo fmt && cargo test && cargo test --all-features
cd code_snippets/chp3/rc4 && cargo fmt && RUSTFLAGS=-Awarnings cargo test
cd code_snippets/chp3/proc && cargo fmt && RUSTFLAGS=-Awarnings cargo test
cd code_snippets/chp3/proc_2 && cargo fmt && RUSTFLAGS=-Awarnings cargo test
cd code_snippets/chp3/prime_test && cargo test
cd code_snippets/chp4/greeting && cargo fmt && cargo test
cd code_snippets/chp4/stack_example && cargo fmt
cd code_snippets/chp4/stack_example_iter && cargo fmt
# Metrics and linting
cd internal_tools/har_analyze && cargo fmt && cargo test && cargo clippy && cargo run -- --metrics --lint --log-warn
# TODO: clean code_snippet binaries
clean:
mdbook clean
cd internal_tools/har_analyze && cargo clean
site:
cd internal_tools/har_analyze && cargo run -- --lint --update
rm -rf docs/
mdbook build
mv book/ docs/
cp CNAME docs/