xref: /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/Makefile-template-defines (revision 1d6c07a77e8ad98e08417dac573ff1cbd30fb30d) 
1PROOF_ROOT ?= $(abspath .)
2
3# Absolute path to the root of the source tree.
4#
5SRCDIR ?= $(abspath $(PROOF_ROOT)/../../..)
6
7
8# Absolute path to the litani script.
9#
10LITANI ?= $(abspath $(PROOF_ROOT)/../litani/litani)
11
12
13
14# Name of this proof project, displayed in proof reports. For example,
15# "s2n" or "Amazon FreeRTOS". For projects with multiple proof roots,
16# this may be overridden on the command-line to Make, for example
17#
18# 	  make PROJECT_NAME="FreeRTOS MQTT" report
19#
20PROJECT_NAME = "coreMQTT-Agent"
21
22