From 7ed566e971dc63b07eef14661755dc6f84e2afce Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Mon, 14 Feb 2005 15:52:43 +0000
Subject: [PATCH] Added support for libcores printing

[r5121]
---
 ir/ir/irprintf.h | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/ir/ir/irprintf.h b/ir/ir/irprintf.h
index fd2b5094c..d4496316a 100644
--- a/ir/ir/irprintf.h
+++ b/ir/ir/irprintf.h
@@ -20,6 +20,8 @@
 #ifndef _IRPRINTF_H
 #define _IRPRINTF_H
 
+#include "firm_config.h"
+
 #include <stddef.h>
 #include <stdarg.h>
 #include <stdio.h>
@@ -132,4 +134,18 @@ void ir_vsnprintf(char *buf, size_t len, const char *fmt, va_list args);
  */
 void ir_obst_vprintf(struct obstack *obst, const char *fmt, va_list args);
 
-#endif
+#ifdef WITH_LIBCORE
+/* use libcore */
+#define ir_printf       lc_printf
+#define ir_fprintf      lc_fprintf
+#define ir_snprintf     lc_snprintf
+#define ir_vprintf      lc_vprintf
+#define ir_vfprintf     lc_vfprintf
+#define ir_vsnprintf    lc_vsnprintf
+#define ir_obst_vprintf lc_voprintf
+
+#include <libcore/xprintf.h>
+
+#endif /* WITH_LIBCORE */
+
+#endif /* _IRPRINTF_H */
-- 
2.20.1