Implement a new caching system to make repeated runs much much faster.
This commit is contained in:
parent
4a008a82b0
commit
5e0e140b09
8 changed files with 252 additions and 44 deletions
|
|
@ -7,9 +7,11 @@ PREFIX = /usr/local
|
|||
MANDIR = $(PREFIX)/share/man
|
||||
|
||||
GIT =
|
||||
GITHASH =
|
||||
GITLIB =
|
||||
# comment to disable git support
|
||||
GIT = -DGIT
|
||||
GITHASH = -DGITHASH
|
||||
GITLIB = libgit2
|
||||
|
||||
ERR =
|
||||
|
|
@ -24,6 +26,11 @@ EXPLAIN = -DEXPLAIN
|
|||
ifneq ($(GIT),)
|
||||
VERSION := $(VERSION)"\\nlibgit2 "`$(PKG_CONFIG) --modversion $(GITLIB)`
|
||||
endif
|
||||
ifeq ($(GITHASH),)
|
||||
VERSION := $(VERSION)"\\ngit hashing disabled"
|
||||
else
|
||||
VERSION := $(VERSION)"\\ngit hashing enabled"
|
||||
endif
|
||||
ifeq ($(ERR),)
|
||||
VERSION := $(VERSION)"\\nerrors disabled"
|
||||
else
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue