Makefile

# STM32 Makefile for GNU toolchain and openocd
#
# This Makefile fetches the Cube firmware package from ST's' website.
# This includes: CMSIS, STM32 HAL, BSPs, USB drivers and examples.
#
# Usage:
#	make cube		Download and unzip Cube firmware
#	make program		Flash the board with OpenOCD
#	make flah		Flash by copy/pasting via USB
#	make openocd		Start OpenOCD
#	make debug		Start GDB and attach to OpenOCD
#	make dirs		Create subdirs like obj, dep, ..
#	make template		Prepare a simple example project in this dir
#
# Copyright	2015 Steffen Vogel
# License	http://www.gnu.org/licenses/gpl.txt GNU Public License
# Author	Steffen Vogel <post@steffenvogel.de>
# Link		http://www.steffenvogel.de
#
# edited for the STM32L152RE Nucleo and Inception by Giovanni Camurati

# A name common to all output files (elf, map, hex, bin, lst)
TARGET     = demo

# Take a look into $(CUBE_DIR)/Drivers/BSP for available BSPs
# name needed in upper case and lower case
BOARD      = STM32L152RE-Nucleo
BOARD_UC   = STM32L152RE_NUCLEO
BOARD_LC   = stm32l1xx_nucleo
BSP_BASE   = $(BOARD_LC)

OCDFLAGS   = -f board/st_nucleo_l1.cfg
GDBFLAGS   =

#EXAMPLE   = Templates
EXAMPLE    = Examples/RCC/RCC_ClockConfig

FreeRTOS   = false
DSP   = false

# MCU family and type in various capitalizations o_O
MCU_FAMILY = stm32l1xx
MCU_LC     = stm32l152xe
MCU_MC     = STM32L152xE
MCU_UC     = STM32L152RE

# path of the ld-file inside the example directories
LDFILE     = $(EXAMPLE)/SW4STM32/$(BOARD_UC)/$(MCU_UC)Tx_FLASH.ld
#LDFILE     = $(EXAMPLE)/TrueSTUDIO/$(BOARD_UC)/$(MCU_UC)_FLASH.ld

# Your C files from the /src directory
ifeq ($(DSP),false)
SRCS       = main.c
SRCS      += system_$(MCU_FAMILY).c
SRCS      += stm32l1xx_it.c
else
SRCS += $(shell find src -maxdepth 1 -type f -name "*.c" -printf "%f ")
endif

# Basic HAL libraries
SRCS      += stm32l1xx_hal_rcc.c stm32l1xx_hal_rcc_ex.c stm32l1xx_hal.c stm32l1xx_hal_cortex.c stm32l1xx_hal_gpio.c stm32l1xx_hal_pwr_ex.c $(BSP_BASE).c
#SRCS       += stm32l1xx_ll_utils.c
SRCS      += stm32l1xx_hal_adc.c stm32l1xx_hal_dma.c stm32l1xx_hal_dac.c stm32l1xx_hal_dac_ex.c stm32l1xx_hal_adc_ex.c
#SRCS      += stm32l1xx_hal_uart.c stm32l1xx_hal_usart.c stm32l1xx_hal_dma.c
#SRCS += $(BSP_BASE).c
#SRCS += $(shell find cube/Drivers/STM32L1xx_HAL_Driver/Src -maxdepth 1 -type f -printf "%f ")

# freeRTOS
ifeq ($(FreeRTOS),true)
	SRCS += $(shell find cube/Middlewares/Third_Party/FreeRTOS/Source/ -maxdepth 2 -type f -name *.c -printf "%f ")
	SRCS += $(shell find cube/Middlewares/Third_Party/FreeRTOS/Source/portable/GCC/ARM_CM3 -maxdepth 2 -type f -name *.c -printf "%f ")
	SRCS += heap_1.c
endif 

# DSP
ifeq ($(DSP),true)
	SRCS += $(shell find cube/Drivers/CMSIS/DSP_Lib/Source -maxdepth 2 -type f -name "*.c" -printf "%f ")
        #SRCS += arm_graphic_equalizer_data.c
        #SRCS += math_helper.c
endif 


# Directories
OCD_DIR    = /usr/share/openocd/scripts

CUBE_DIR   = cube

BSP_DIR    = $(CUBE_DIR)/Drivers/BSP/STM32L1xx_Nucleo/
HAL_DIR    = $(CUBE_DIR)/Drivers/STM32L1xx_HAL_Driver
CMSIS_DIR  = $(CUBE_DIR)/Drivers/CMSIS
RTOS_DIR   = $(CUBE_DIR)/Middlewares/Third_Party/FreeRTOS

DEV_DIR    = $(CMSIS_DIR)/Device/ST/STM32L1xx

CUBE_URL   = http://www.st.com/st-web-ui/static/active/en/st_prod_software_internet/resource/technical/software/firmware/stm32cubel1.zip

# Device Path when conncted via USB and ST Link
DEVICE_PATH=/media/giovanni/NODE_L152RE

# start of deterministic allocation for host addresses
DET_ALLOC_START = 0xf0000000

# that's it, no need to change anything below this line!

###############################################################################
# Toolchain

PREFIX     = arm-none-eabi
CC         = $(PREFIX)-gcc
AR         = $(PREFIX)-ar
OBJCOPY    = $(PREFIX)-objcopy
OBJDUMP    = $(PREFIX)-objdump
SIZE       = $(PREFIX)-size
GDB        = $(PREFIX)-gdb

OCD        = openocd

###############################################################################
# Options

# Defines
DEFS       = -D$(MCU_MC) -DUSE_HAL_DRIVER

# Inception path
INCEPTION_PATH=../../

# Debug specific definitions for semihosting
DEFS       += -DUSE_DBPRINTF

# Include search paths (-I)
INCS       = -Isrc
INCS      += -I$(BSP_DIR)
INCS      += -I$(CMSIS_DIR)/Include
INCS      += -I$(DEV_DIR)/Include
INCS      += -I$(HAL_DIR)/Inc

# freeRTOS
ifeq ($(FreeRTOS),true)
	INCS      += -I$(RTOS_DIR)/Source/CMSIS_RTOS
	INCS      += -I$(RTOS_DIR)/Source/include
	INCS      += -I$(RTOS_DIR)/Source/portable/GCC/ARM_CM3
endif

# freeRTOS
ifeq ($(DSP),true)
	INCS      += -I$(CMSIS_DIR)/Include
	INCS      += -I$(RTOS_DIR)/Source/CMSIS_RTOS
	INCS      += -I$(RTOS_DIR)/Source/include
	INCS      += -I$(RTOS_DIR)/Source/portable/GCC/ARM_CM3
endif

# Library search paths
LIBS       = -L$(CMSIS_DIR)/Lib

# Compiler flags
CFLAGS     = -g -march=armv7-m -mthumb -mcpu=cortex-m3 -Wa,-mimplicit-it=thumb
#CFLAGS     = -Wall -g -std=c99 -Os
#CFLAGS    += -mlittle-endian -mcpu=cortex-m3 -march=armv7e-m -mthumb
#CFLAGS    += -mfpu=fpv4-sp-d16 -mfloat-abi=hard
#CFLAGS    += -ffunction-sections -fdata-sections
CFLAGS     += $(INCS) $(DEFS)

# Linker flags
LDFLAGS    = -Wl,--gc-sections -Wl,-Map=$(TARGET).map $(LIBS) -T$(MCU_LC).ld

# Enable Semihosting
LDFLAGS   += --specs=rdimon.specs -lc -lrdimon

# Source search paths
VPATH      = ./src
VPATH     += $(BSP_DIR)
VPATH     += $(HAL_DIR)/Src
VPATH     += $(DEV_DIR)/Source/

#freeRTOS
ifeq ($(FreeRTOS),true)
	VPATH     += $(RTOS_DIR)/Source/
	VPATH     += $(RTOS_DIR)/Source/CMSIS_RTOS/
	VPATH     += $(RTOS_DIR)/Source/portable/MemMang
	VPATH     += $(RTOS_DIR)/Source/portable/Common
	VPATH     += $(RTOS_DIR)/Source/portable/GCC/ARM_CM3
endif

#freeRTOS
ifeq ($(DSP),true)
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/BasicMathFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/CommonTables
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/ComplexMathFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/ControllerFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/FastMathFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/FilteringFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/MatrixFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/StatisticsFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/SupportFunctions
        VPATH     += $(CMSIS_DIR)/DSP_Lib/Source/TransformFunctions
endif

OBJS       = $(addprefix obj/,$(SRCS:.c=.o))
LLS        = $(addprefix ll/,$(SRCS:.c=.ll))
DEPS       = $(addprefix dep/,$(SRCS:.c=.d))

# CLANG & LLVM
CLANG_PATH=$(INCEPTION_PATH)/tools/llvm/build_debug/Debug+Asserts/bin/
CLANG=$(CLANG_PATH)/clang
LLVM-LINK=$(CLANG_PATH)/llvm-link
LLVM-AS=$(CLANG_PATH)/llvm-as

CLANG_FLAGS=-mthumb --target=thumbv7m-eabi -mcpu=cortex-m3
#CLANG_FLAGS    += -ffunction-sections -fdata-sections
CLANG_FLAGS    += $(INCS) $(DEFS) -DKLEE
CLANG_FLAGS    += -emit-llvm -g -S
CLANG_FLAGS    += $(INCEPTION_PATH)/Analyzer/include/
CLANG_FLAGS    += -I/usr/include/newlib/

INCEPTION-CL=$(INCEPTION_PATH)/Compiler/Debug+Asserts/bin/inception-cl
INCEPTION_FLAGS=

# Prettify output
V = 0
ifeq ($V, 0)
	Q = @
	P = > /dev/null
endif

###################################################

.PHONY: all dirs program debug template clean inception native run-klee flash

all: inception

-include $(DEPS)

dirs: dep obj ll cube
dep obj src ll:
	@echo "[MKDIR]   $@"
	$Qmkdir -p $@

obj/%.o : %.c | dirs
	@echo "[CC]      $(notdir $<)"
	$Q$(CC) $(CFLAGS) -c -o $@ $< -MMD -MF dep/$(*F).d

$(TARGET).elf: $(OBJS) src/startup_$(MCU_LC).s
	@echo "[LD]      $(TARGET).elf"
	$Q$(CC) $(CFLAGS) $(LDFLAGS) $^ -o $@
	@echo "[OBJDUMP] $(TARGET).lst"
	$Q$(OBJDUMP) -St $(TARGET).elf >$(TARGET).lst
	@echo "[SIZE]    $(TARGET).elf"
	$(SIZE) $(TARGET).elf

$(TARGET).bin: $(TARGET).elf
	@echo "[OBJCOPY] $(TARGET).bin"
	$Q$(OBJCOPY) -O binary $< $@

native: $(TARGET).bin

ll/%.ll : %.c | dirs
	@echo "[CLANG] $(notdir $<)"
	$Q$(CLANG) $(CLANG_FLAGS) -o $@ $<

$(TARGET).ll: $(LLS)
	@echo "[LLVM-LINK] $(TARGET).ll"
	$Q$(LLVM-LINK) -S $(LLS)  -o $(TARGET).ll

$(TARGET).bc: $(TARGET).ll
	@echo "[LLVM-AS] $(TARGET).bc"
	$Q$(LLVM-AS) $(TARGET).ll -o $(TARGET).bc

$(TARGET).elf.ll: $(TARGET).bc native
	@echo "[INCEPTION-CL] $(TARGET).elf $(TARGET).bc"
	$Q$(INCEPTION-CL) $(INCEPTION_FLAGS) $(TARGET).elf $(TARGET).bc

$(TARGET)_merged.bc: $(TARGET).elf.ll
	@echo "[LLVM-AS] $(TARGET)_merged.bc"
	$Q$(LLVM-AS) $(TARGET).elf.ll -o $(TARGET)_merged.bc

inception: $(TARGET)_merged.bc 


openocd:
	$(OCD) -s $(OCD_DIR) $(OCDFLAGS)

program: native
	$(OCD) -s $(OCD_DIR) $(OCDFLAGS) -c "program $(TARGET).elf verify reset"

flash: native
	@echo "Make sure you have configured the board for USB flash"
	@echo "  1. TDO, NRST connected to SWD instead of the FPGA"
	@echo "  2. CN2 jumpers ON"
	@echo "  3. correct DEVICE_PATH in this makefile"
	@echo "Flashing"
	cp $(TARGET).bin $(DEVICE_PATH)/$(TARGET).bin
	@echo "Done, remember to reset the board pressing the black (B2) button"

debug:
	@if ! nc -z localhost 3333; then \
		echo "\n\t[Error] OpenOCD is not running! Start it with: 'make openocd'\n"; exit 1; \
	else \
		$(GDB)  -ex "target extended localhost:3333" \
			-ex "monitor arm semihosting enable" \
			-ex "monitor reset halt" \
			-ex "load" \
			-ex "monitor reset init" \
			$(GDBFLAGS) $(TARGET).elf; \
	fi

cube:
	rm -fr $(CUBE_DIR)
	wget -O /tmp/cube.zip $(CUBE_URL)
	unzip /tmp/cube.zip
	mv STM32Cube* $(CUBE_DIR)
	chmod -R u+w $(CUBE_DIR)
	rm -f /tmp/cube.zip

template: cube src
	cp -ri $(CUBE_DIR)/Projects/$(BOARD)/$(EXAMPLE)/Src/* src
	cp -ri $(CUBE_DIR)/Projects/$(BOARD)/$(EXAMPLE)/Inc/* src
	cp -i $(DEV_DIR)/Source/Templates/gcc/startup_$(MCU_LC).s src
	cp -i $(CUBE_DIR)/Projects/$(BOARD)/$(LDFILE) $(MCU_LC).ld

run-klee:
	klee --allocate-determ --allocate-determ-start-address $(DET_ALLOC_START) $(TARGET)_merged.bc

clean: clean-native clean-inception clean-klee clean-src

clean-native:
	@echo "[RM]      $(TARGET).bin"; rm -f $(TARGET).bin
	@echo "[RM]      $(TARGET).elf"; rm -f $(TARGET).elf
	@echo "[RM]      $(TARGET).map"; rm -f $(TARGET).map
	@echo "[RM]      $(TARGET).lst"; rm -f $(TARGET).lst
	@echo "[RMDIR]   dep"          ; rm -fr dep
	@echo "[RMDIR]   obj"          ; rm -fr obj

clean-inception: clean-native
	@echo "[RM]      $(TARGET).ll"     ; rm -f $(TARGET).ll
	@echo "[RM]      $(TARGET).bc"     ; rm -f $(TARGET).bc
	@echo "[RM]      *.dis"            ; rm -f *.dis
	@echo "[RMDIR]   ll"               ; rm -fr ll

clean-klee:
	@echo "[RM]      *.dump"           ; rm -f *.dump
	@echo "[RM]      klee*" ; rm -rf klee*

clean-src:
	@echo "[RMDIR]   src"               ; rm -rf src
	@echo "[RM]      *.ld"              ; rm -f *.ld