Makefile: add install rule

2018-01-26 10:28:13 -05:00 · 2018-01-26 10:28:13 -05:00 · 745dda78b0
commit 745dda78b0
parent 3c2430e916
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -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