Add -Werror flag in the build process (#203)

* Add -Werror flag in the build process * Add -Werror to link flags --------- Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
model-checking · Feb 1, 2024 · f873ab4 · f873ab4
1 parent 2678e6a
commit f873ab4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common b/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common
@@ -299,8 +299,8 @@ CHECKFLAGS += $(CBMC_FLAG_UNSIGNED_OVERFLOW_CHECK)
 NONDET_STATIC ?=
 
 # Flags to pass to goto-cc for compilation and linking
-COMPILE_FLAGS ?= -Wall
-LINK_FLAGS ?= -Wall
+COMPILE_FLAGS ?= -Wall -Werror
+LINK_FLAGS ?= -Wall -Werror
 EXPORT_FILE_LOCAL_SYMBOLS ?= --export-file-local-symbols
 
 # During instrumentation, it adds models of C library functions