diff mbox

kvm tools: support build-time checks

Message ID 1347918023-31683-1-git-send-email-levinsasha928@gmail.com (mailing list archive)
State New, archived
Headers show

Commit Message

Sasha Levin Sept. 17, 2012, 9:40 p.m. UTC 
Support using build-time check tools when building lkvm. This allows
using tools such as smatch with the same syntax used with kernel
code.

For example, to build with smatch checks, first make sure you have
smatch installed, then run:

	make CHECK="smatch -p=kernel" C=1

Signed-off-by: Sasha Levin <levinsasha928@gmail.com>
---
 tools/kvm/Makefile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
diff mbox

Patch

diff --git a/tools/kvm/Makefile b/tools/kvm/Makefile
index d4b5eb3..e0d07dc 100644
--- a/tools/kvm/Makefile
+++ b/tools/kvm/Makefile
@@ -322,18 +322,34 @@  $(OBJS):
 # This rule relaxes the -Werror on libfdt, since for now it still has
 # a bunch of warnings. :(
 ../../scripts/dtc/libfdt/%.o: ../../scripts/dtc/libfdt/%.c
+ifeq ($(C),1)
+	$(E) "  CHECK   " $@
+	$(Q) $(CHECK) -c $(CFLAGS_EASYGOING) $< -o $@
+endif
 	$(E) "  CC      " $@
 	$(Q) $(CC) -c $(CFLAGS_EASYGOING) $< -o $@
 
 util/rbtree.static.o util/rbtree.o: ../../lib/rbtree.c
+ifeq ($(C),1)
+	$(E) "  CHECK   " $@
+	$(Q) $(CHECK) -c $(CFLAGS) $< -o $@
+endif
 	$(E) "  CC      " $@
 	$(Q) $(CC) -c $(CFLAGS) $< -o $@
 
 %.static.o: %.c
+ifeq ($(C),1)
+	$(E) "  CHECK   " $@
+	$(Q) $(CHECK) -c $(CFLAGS) $(CFLAGS_STATOPT) $< -o $@
+endif
 	$(E) "  CC      " $@
 	$(Q) $(CC) -c $(CFLAGS) $(CFLAGS_STATOPT)  $< -o $@
 
 %.o: %.c
+ifeq ($(C),1)
+	$(E) "  CHECK   " $@
+	$(Q) $(CHECK) -c $(CFLAGS) $(CFLAGS_DYNOPT) $< -o $@
+endif
 	$(E) "  CC      " $@
 	$(Q) $(CC) -c $(CFLAGS) $(CFLAGS_DYNOPT) $< -o $@