From 3821cefbfddada712f6b586b5004c87887d83122 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Christian=20W=C3=BCrdig?=
 <chriswue@ipd.info.uni-karlsruhe.de>
Date: Sat, 11 Mar 2006 11:04:43 +0000
Subject: [PATCH] added WITH_ILP switch added CVS ID tag

---
 ir/be/becopyilp.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/ir/be/becopyilp.c b/ir/be/becopyilp.c
index 22be9d3fd..93d329c2c 100644
--- a/ir/be/becopyilp.c
+++ b/ir/be/becopyilp.c
@@ -3,11 +3,18 @@
  * Date:		28.02.2006
  * Copyright:   (c) Universitaet Karlsruhe
  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ * $Id$
  *
  * Common stuff used by all ILP fomulations.
  *
  */
 
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#ifdef WITH_ILP
+
 #include "becopyilp_t.h"
 #include "beifg_t.h"
 
@@ -166,3 +173,10 @@ void free_ilp_env(ilp_env_t *ienv) {
 	free_lpp(ienv->lp);
 	free(ienv);
 }
+
+#else /* WITH_ILP */
+
+static void only_that_you_can_compile_without_WITH_ILP_defined(void) {
+}
+
+#endif /* WITH_ILP */
-- 
2.20.1