Skip to content

CBMC starter kit makefile project targets

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

Editing the file Makefile-project-targets is how you add targets to your project that are not defined in Makefile.common. For example, if you have to generate a source file, you might include

warnings.h:
        cat ${SRCDIR}/*/warnings.h > $@
Clone this wiki locally