diff options
author | John Keeping <john@keeping.me.uk> | 2015-03-08 16:32:15 +0000 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2015-03-09 16:38:22 +0000 |
commit | 5150b7c1e69b4b09821e438006cfd77d82edae3b (patch) | |
tree | 8ee926a5ddbe2e47a0e14ef3957b29201992c0f1 /cgit.mk | |
parent | 97a91657a5032aa984d91344b91e1c5a084c2f0d (diff) | |
download | cgit-5150b7c1e69b4b09821e438006cfd77d82edae3b.tar cgit-5150b7c1e69b4b09821e438006cfd77d82edae3b.tar.gz cgit-5150b7c1e69b4b09821e438006cfd77d82edae3b.zip |
Makefile: add a target to run CGit through sparse
Signed-off-by: John Keeping <john@keeping.me.uk>
Diffstat (limited to 'cgit.mk')
-rw-r--r-- | cgit.mk | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -96,7 +96,7 @@ CGIT_OBJS := $(addprefix $(CGIT_PREFIX),$(CGIT_OBJ_NAMES)) # Only cgit.c reference CGIT_VERSION so we only rebuild its objects when the # version changes. -CGIT_VERSION_OBJS := $(addprefix $(CGIT_PREFIX),cgit.o) +CGIT_VERSION_OBJS := $(addprefix $(CGIT_PREFIX),cgit.o cgit.sp) $(CGIT_VERSION_OBJS): $(CGIT_PREFIX)VERSION $(CGIT_VERSION_OBJS): EXTRA_CPPFLAGS = \ -DCGIT_VERSION='"$(CGIT_VERSION)"' @@ -129,3 +129,10 @@ $(CGIT_OBJS): %.o: %.c GIT-CFLAGS $(CGIT_PREFIX)CGIT-CFLAGS $(missing_dep_dirs) $(CGIT_PREFIX)cgit: $(CGIT_OBJS) GIT-LDFLAGS $(GITLIBS) @echo 1>&1 " * $(LUA_MESSAGE)" $(QUIET_LINK)$(CC) $(ALL_CFLAGS) -o $@ $(ALL_LDFLAGS) $(filter %.o,$^) $(LIBS) $(CGIT_LIBS) + +CGIT_SP_OBJS := $(patsubst %.o,%.sp,$(CGIT_OBJS)) + +$(CGIT_SP_OBJS): %.sp: %.c GIT-CFLAGS $(CGIT_PREFIX)CGIT-CFLAGS FORCE + $(QUIET_SP)cgcc -no-compile $(ALL_CFLAGS) $(EXTRA_CPPFLAGS) $(CGIT_CFLAGS) $(SPARSE_FLAGS) $< + +cgit-sparse: $(CGIT_SP_OBJS) |