xref: /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/Makefile-project-defines (revision 1d6c07a77e8ad98e08417dac573ff1cbd30fb30d) 
1# -*- mode: makefile -*-
2# The first line sets the emacs major mode to Makefile
3
4# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
5# SPDX-License-Identifier: Apache-2.0
6
7################################################################
8# Use this file to give project-specific definitions of the command
9# line arguments to pass to CBMC tools like goto-cc to build the goto
10# binaries and cbmc to do the property and coverage checking.
11#
12# Use this file to override most default definitions of variables in
13# Makefile.common.
14################################################################
15
16# Flags to pass to goto-cc for compilation (typically those passed to gcc -c)
17COMPILE_FLAGS += -fPIC
18COMPILE_FLAGS += -std=gnu90
19
20# Flags to pass to goto-cc for linking (typically those passed to gcc)
21# LINK_FLAGS =
22
23# Preprocessor include paths -I...
24INCLUDES += -I$(SRCDIR)/test/cbmc/include
25INCLUDES += -I$(SRCDIR)/source/include
26INCLUDES += -I$(SRCDIR)/source/dependency/coreMQTT/source/include
27INCLUDES += -I$(SRCDIR)/source/dependency/coreMQTT/source/interface
28
29# Preprocessor definitions -D...
30# DEFINES =
31
32# Path to arpa executable
33# ARPA =
34
35# Flags to pass to cmake for building the project
36# ARPA_CMAKE_FLAGS =
37