diff --git a/Makefile b/Makefile
index 3feace6dc00d88ffb08b2617800b4fc7f6a9fbfe..1eb9c825e0856aa9cc58c5a0f885356c33ee386c 100644
--- a/Makefile
+++ b/Makefile
@@ -85,6 +85,9 @@ QUICK_TARGETS=$(filter-out polarssl gzip124 libmodbus monocypher chrony,$(TARGET
 
 all: $(TARGETS)
 
+summary:
+	frama-c/share/analysis-scripts/summary.py
+
 $(TARGETS):
 	+$(MAKE) -C $@/.frama-c