From aaf1ff76a74921c035d733d37866d63af8f37ec1 Mon Sep 17 00:00:00 2001 From: orbifx Date: Tue, 8 Jun 2021 17:40:51 +0100 Subject: [PATCH] Revise for rename to cli & phony target (thanks Gergely) --- Makefile | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 41d682c..443d294 100644 --- a/Makefile +++ b/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