diff options
| author | JSDurand <mmemmew@gmail.com> | 2022-12-14 23:48:22 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2022-12-14 23:48:22 +0800 |
| commit | 9f1c88b863e247da3cd60d2792a7a13b18e25e53 (patch) | |
| tree | d29c0e19793a88a1de6898fdfd2a376fca21378f /nfa/Makefile.am | |
| parent | cb7bcfad4ab0041aaf3fde3185e27ee46bb37788 (diff) | |
a temporary check point
just to save things in a commit
Diffstat (limited to 'nfa/Makefile.am')
| -rw-r--r-- | nfa/Makefile.am | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/nfa/Makefile.am b/nfa/Makefile.am new file mode 100644 index 0000000..623572a --- /dev/null +++ b/nfa/Makefile.am @@ -0,0 +1,19 @@ +.PHONY: dev rel clean check + +all: dev + +dev: + @echo "cargo build" + @@CARGO@ build + +rel: + @echo "cargo build --release" + @@CARGO@ build --release + +clean: + @echo "cargo clean" + @@CARGO@ clean + +check: + @echo "cargo clippy" + @@CARGO@ clippy |