diff --git a/configurations/t32_sim_m3.sh b/configurations/t32_sim_m3.sh new file mode 100755 index 00000000..8d4823d5 --- /dev/null +++ b/configurations/t32_sim_m3.sh @@ -0,0 +1,4 @@ +#!/bin/bash +## A cmake configuration call for a FailT32 Simulator variant + +cmake $(dirname $0)/.. -DBUILD_BOCHS:BOOL=OFF -DBUILD_X86:BOOL=OFF -DARCH_TOOL_PREFIX:STRING=arm-none-eabi- -DBUILD_T32:BOOL=ON -DBUILD_ARM:BOOL=ON -DCONFIG_BOCHS_NO_ABORT:BOOL=OFF -DCONFIG_EVENT_BREAKPOINTS:BOOL=ON -DCONFIG_EVENT_BREAKPOINTS_RANGE:BOOL=ON -DCONFIG_EVENT_MEMREAD:BOOL=ON -DCONFIG_EVENT_MEMWRITE:BOOL=ON -DEXPERIMENTS_ACTIVATED:STRING=vezs-example -DT32_ARCHITECTURE:STRING=armm3 -DT32_CPUNAME:STRING=STM32F103RG -DT32_SIMULATOR:BOOL=ON