-#ifdef WITH_LIBCORE
-
-#include "irargs_t.h"
-
-static void firm_dbg_default_printer(struct obstack *obst, const char *fmt, va_list args)
-{
- static lc_arg_env_t *env = NULL;
-
- if(!env)
- env = firm_get_arg_env();
-
- lc_evoprintf(env, obst, fmt, args);
-
-}
-
-firm_dbg_module_t *firm_dbg_register(const char *name)
-{
- return lc_dbg_register_with_printer(name, firm_dbg_default_printer);
-}
-
-#else
-