rustwhy/Makefile at main · Ninso112/rustwhy · GitHub

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
.PHONY: build test fmt clippy clean install completions

build:
	cargo build --release

test:
	cargo test --all-features

fmt:
	cargo fmt --all

clippy:
	cargo clippy --all-features -- -D warnings

check: fmt clippy test

clean:
	cargo clean

install: build
	install -Dm755 target/release/rustwhy $(DESTDIR)/usr/local/bin/rustwhy

completions:
	mkdir -p assets/completions
	rustwhy completions bash  > assets/completions/rustwhy.bash
	rustwhy completions zsh   > assets/completions/rustwhy.zsh
	rustwhy completions fish  > assets/completions/rustwhy.fish
	rustwhy completions powershell > assets/completions/_rustwhy.ps1