Select Git revision
-
Henrik Tjäder authoredHenrik Tjäder authored
Makefile 6.97 KiB
PROJECT_NAME=klee
TARGET=$(PROJECT_NAME).hex
EXECUTABLE=$(PROJECT_NAME).elf
EXECOBJ=$(PROJECT_NAME).o
IROUT=$(PROJECT_NAME).bc
ifeq "$(MAKECMDGOALS)" "gcc"
# GCC
CC=arm-none-eabi-gcc
LD=arm-none-eabi-ld
AR=arm-none-eabi-ar
AS=arm-none-eabi-as
CP=arm-none-eabi-objcopy
OD=arm-none-eabi-objdump
else
# CLANG
CC=clang
LD=llvm-link
CC-native=arm-none-eabi-gcc
#LD-native=arm-none-eabi-ld
AR=llvm-ar
AS=arm-none-eabi-as
CP=arm-none-eabi-objcopy
OD=arm-none-eabi-objdump
endif
BIN=$(CP) -O ihex
# Debugging with OpenOCD
GDB = arm-none-eabi-gdb
OOCD = openocd
# General case, but now we need specifics
#OOCDFLAsyscalls = -f interface/stlink-v2-1.cfg -f board/stm32f7discovery.cfg
#OOCDFLAGS = -f interface/stlink-v2-1.cfg -f ocd_stm32f4.cfg
OOCDFLAGS = -f interface/stlink-v2-1.cfg -f stm32f4x.cfg
#DEFS = -DUSE_STDPERIPH_DRIVER -DSTM32F4XX -DMANGUSTA_DISCOVERY -DUSE_USB_OTG_FS -DHSE_VALUE=8000000
#DEFS = -DUSE_STDPERIPH_DRIVER -DSTM32F4XX -DSTM32F40XX -DHSE_VALUE=8000000
# STM32F4x7 custom
#DEFS = -DUSE_STDPERIPH_DRIVER -DSTM32F40XX -DSTM32F4XX -DHSE_VALUE=16000000
# STM32F401
ifeq "$(MAKECMDGOALS)" "rel"
DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM
else ifeq "$(MAKECMDGOALS)" "wcet"
DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM -DKLEE_WCET
else
DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DKLEE
endif
# Definitions
#ifeq "$(MAKECMDGOALS)" "debug"
#DEFS = -DnoUSE_STDPERIPH_DRIVER -DHSE_VALUE=8000000 -DOS_USE_TRACE_ITM -DDEBUG -DxOS_USE_SEMIHOSTING -DTRACE -DxOS_USE_TRACE_SEMIHOSTING_DEBUG -DSTM32F746xx
#else
#DEFS = -DnoUSE_STDPERIPH_DRIVER -DHSE_VALUE=8000000 -DxOS_USE_SEMIHOSTING -DxOS_USE_TRACE_SEMIHOSTING_DEBUG -DSTM32F746xx
#endif
# Optimize for size
#OPTIMIZE = -Os
# No optimization at all
OPTIMIZE = -O0
#INCSEARCH = include
#SRCIGNORE =! -iname 'tiny_printf.c'
#INCLUDES := $(shell find $(INCSEARCH) -name '*.h' -exec dirname {} \; | uniq)