forked from egraphs-good/egg
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
28 lines (23 loc) · 746 Bytes
/
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
all: test nits
.PHONY: test
test:
cargo test --release
cargo test --release --features=lp
# don't run examples in proof-production mode
cargo test --release --features "test-explanations"
cargo test --release --features "test-push-pop" --features "test-explanations"
cargo test --release --features "test-push-pop" --features "push-pop-alt"
.PHONY: nits
nits:
rustup component add rustfmt clippy
cargo fmt -- --check
cargo clean --doc
cargo doc --no-deps --all-features
cargo deadlinks
cargo clippy --tests
cargo clippy --tests --features "test-explanations"
cargo clippy --tests --features "serde-1"
cargo clippy --tests --all-features
.PHONY: docs
docs:
RUSTDOCFLAGS="--cfg docsrs" cargo +nightly doc --all-features --open