Revise for rename to cli & phony target (thanks Gergely)
This commit is contained in:
parent
2d64a86506
commit
aaf1ff76a7
9
Makefile
9
Makefile
@ -1,13 +1,16 @@
|
||||
all: cli
|
||||
all:
|
||||
dune build
|
||||
|
||||
cli:
|
||||
dune build app/logarion_cli.exe
|
||||
dune build cli/cli.exe
|
||||
|
||||
clean:
|
||||
dune clean
|
||||
|
||||
tgz:
|
||||
cp _build/default/app/logarion_cli.exe logarion
|
||||
cp _build/default/cli/cli.exe logarion
|
||||
strip logarion
|
||||
tar czvf "logarion-$(shell date -r _build/default/src/logarion_cli.exe "+%y-%m-%d")-$(shell uname -s)-$(shell uname -m)-$(shell git rev-parse --short HEAD).tar.gz" share logarion
|
||||
rm logarion
|
||||
|
||||
.PHONY: cli
|
||||
|
Loading…
x
Reference in New Issue
Block a user