From 745dda78b0018ff67cfc185636aee9e92e2b143d Mon Sep 17 00:00:00 2001 From: Milo Davis Date: Fri, 26 Jan 2018 10:28:13 -0500 Subject: [PATCH] Makefile: add install rule --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 54ad48e3f..e85f95ae0 100644 --- a/Makefile +++ b/Makefile @@ -39,6 +39,10 @@ build-deps: docker-image: @./scripts/create_docker_image.sh +install: + @jbuilder build @install + @jbuilder install + clean: @-jbuilder clean @-rm -f tezos-node tezos-client tezos-protocol-compiler