Makefiles: various improvements (#6101)

Don't reinstall proto tools unconditionally every time
one runs make.

On most Linux systems, /usr/local is writable by root only.
Allow users to customise installation directory by passing
PREFIX to make command line, e.g.:

 $ make PREFIX=~/.local
This commit is contained in:
Alessio Treglia
2020-04-30 21:30:30 +02:00
committed by GitHub
parent 930802e7a1
commit a8a455a6f7
3 changed files with 29 additions and 30 deletions
+1 -1
View File
@@ -253,7 +253,7 @@ devdoc-update:
### Protobuf ###
###############################################################################
proto-all: proto-gen proto-lint proto-check-breaking
proto-all: proto-tools proto-gen proto-lint proto-check-breaking
proto-gen:
@./scripts/protocgen.sh