From 922d148ab54b65a73784eeba50297d6c29d1774f Mon Sep 17 00:00:00 2001 From: Sergey Lyubka Date: Tue, 23 Jan 2024 10:56:41 +0000 Subject: [PATCH] Add misra target --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index bb924fd5..79caad3b 100644 --- a/Makefile +++ b/Makefile @@ -120,6 +120,13 @@ valgrind: Makefile mongoose.h mongoose.c $(CC) $(SRCS) $(VALGRIND_CFLAGS) $(LDFLAGS) -g -o unit_test $(VALGRIND_RUN) ./unit_test +misra: + cppcheck --addon=misra -DMG_ARCH=MG_ARCH_UNIX -DMG_ENABLE_PACKED_FS=1 -DMG_ENABLE_SSI=1 mongoose.c >/tmp/x 2>&1 + cppcheck --addon=misra -DMG_ARCH=MG_ARCH_CUSTOM -DMG_ENABLE_LINES=1 -DTLS=MG_TLS_BUILTIN -DMG_ENABLE_TCPIP=1 mongoose.c >>/tmp/x 2>&1 + cppcheck --addon=misra --clang -DMG_ENABLE_LINES=1 -DTLS=MG_TLS_BUILTIN -DMG_ENABLE_TCPIP=1 mongoose.c >>/tmp/x 2>&1 + cppcheck --addon=misra --clang -DMG_ENABLE_LINES=1 -DMG_ENABLE_SSI=1 mongoose.c >>/tmp/x 2>&1 + less /tmp/x + armhf: ASAN= armhf: IPV6=0 armhf: CC = $(DOCKER) mdashnet/armhf cc