From f8c974440f67de2973565b2ed15e2f320927f880 Mon Sep 17 00:00:00 2001
From: Martin Hoffmann <hoffmann@cs.fau.de>
Date: Fri, 22 Mar 2013 16:09:45 +0100
Subject: [PATCH] CMake: Preconfigured Fail* variants.

Change-Id: I6109fac10b46becab7a5b3afdfa74af155c881d4
---
 configurations/t32_sim_m3.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 configurations/t32_sim_m3.sh

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