Makefile: add a scan-build target

trilitech · Sep 27, 2023 · 5f9258e · 5f9258e
1 parent 8b7fc0c
commit 5f9258e
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -40,6 +40,17 @@ docker_images:	docker_speculos			\
 		docker_ledger_app_ocaml		\
 		docker_ledger_app_integration_tests
 
+scan-build-%:
+	if [ -d "$(BOLOS_SDK)" ]; then                                    \
+	    make -C app scan-build;                                       \
+	else                                                              \
+	    $(DOCKER_RUN_APP_BUILDER) bash -c                             \
+		"BOLOS_SDK=/opt/nanos-secure-sdk make -C app scan-build"; \
+	fi
+
+scan-build:	scan-build-nanos scan-build-nanosp	\
+		scan-build-nanox scan-build-stax
+
 app_%.tgz:	app/src/*.[ch]		\
 		app/src/parser/*.[ch]	\
 		app/Makefile