From 2a42b4841759a3afe0153012c1db9e8eb6f31787 Mon Sep 17 00:00:00 2001
From: adrian <adrian@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Mon, 12 Mar 2012 15:42:02 +0000
Subject: [PATCH] Compile-time dependency check for coolchecksum added.

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@987 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 core/experiments/coolchecksum/experiment.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/core/experiments/coolchecksum/experiment.cc b/core/experiments/coolchecksum/experiment.cc
index 9d627733..92e4dc14 100644
--- a/core/experiments/coolchecksum/experiment.cc
+++ b/core/experiments/coolchecksum/experiment.cc
@@ -11,6 +11,7 @@
 #include "SAL/Memory.hpp"
 #include "SAL/bochs/BochsRegister.hpp"
 #include "controller/Event.hpp"
+#include "config/AspectConfig.hpp"
 
 #if COOL_FAULTSPACE_PRUNING
 #include "plugins/tracing/TracingPlugin.hpp"
@@ -20,6 +21,13 @@
 
 using std::endl;
 
+// Check if configuration dependencies are satisfied:
+#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_RESTORE) || \
+    !defined(CONFIG_SR_SAVE) || !defined(CONFIG_SUPPRESS_INTERRUPTS) || \
+    !defined(CONFIG_EVENT_TRAP)
+  #error This experiment needs: breakpoints, suppressed-interrupts, traps, save, and restore. Enable these in the configuration.
+#endif
+
 bool CoolChecksumExperiment::run()
 {
 #if BX_SUPPORT_X86_64