forked from egraphs-good/egg
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathMakefile
More file actions
29 lines (24 loc) · 660 Bytes
/
Copy pathMakefile
File metadata and controls
29 lines (24 loc) · 660 Bytes
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
.PHONY:
test: test-egg
cargo fmt -- --check
cargo clean --doc
cargo doc --no-deps
cargo deadlinks
.PHONY: test-egg
test-egg:
cargo build
cargo test --release
cargo clippy --tests
cargo clippy --tests --features "serde-1"
cargo clippy --tests --features "reports"
.PHONY: deploy-nightlies
deploy-nightlies:
rsync -ri --exclude=".*" scripts/nightly-static/ ~/public/egg-nightlies/
.PHONY: nightly
nightly:
bash scripts/run-nightly.sh
# makefile hack to run my hacky benchmarks
bench:
cargo test --features "reports" --release -- --test-threads=1 --nocapture
bench-%:
cargo test --features "reports" --release -- --test-threads=1 --nocapture $*