From b3c67667b7121b7f2e50700ec6da4bd780dee426 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 16 Mar 2015 12:23:29 +0100
Subject: Started implementing the printing functions for the debug info. Added
 a global target dependend option to activate the printing only for targets
 wher it works.

---
 arm/TargetPrinter.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'arm')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 7c8c373c..ee33353b 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -1128,6 +1128,12 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
     let get_end_addr () = -1 (* Dummy constant *)
 
     let get_stmt_list_addr () = -1 (* Dummy constant *)
+
+    module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs (* Dummy Abbrev types *)
+        
+    let label = print_label
+       
+    let new_label = new_label
   end
 
 let sel_target () = 
-- 
cgit