Skip to content
Snippets Groups Projects
Select Git revision
  • 98c11e6cbffdfdd4c09bd7283b8b6af278e01f35
  • master default protected
  • klee
3 results

Makefile

Blame
  • 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)