Skip to content

CBMC starter kit makefile project defines

Jump to bottom
Mark R. Tuttle edited this page Oct 28, 2020 · 1 revision

Editing the file Makefile-project-defines is how you configure the starter kit for your proofs.

The makefile defines three important variables:

  • COMPILE_FLAGS: This is the list of compilation flags your project passes to the compiler. For example,
COMPILE_FLAGS += -m32
COMPILE_FLAGS += -std=gnu90
  • INCLUDES: This is the list of include paths your project passes to the compiler. For example,
INCLUDES += -I${SRCDIR}/include
INCLUDES += -I${SRCDIR}/device/include
  • DEFINES: This is the list of preprocessor definitions your project passes to the compiler. For example,
DEFINES += -DBUFFER_SIZE=100
DEFINES += -DVERBOSE=1

Clone this wiki locally