From 5aef1e188ba1f6552f7c846cda6296ad47f04ba1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 20 Aug 2015 11:13:12 +0200
Subject: Added command line option to specify a linker command file for the
 linker.

---
 driver/Driver.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'driver')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 2932e879..37e3b44c 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -468,6 +468,7 @@ Assembling options:
 Linking options:
   -l<lib>        Link library <lib>
   -L<dir>        Add <dir> to search path for libraries
+  -T <file>      Use <file> as linker command file
   -Wl,<opt>      Pass option <opt> to the linker
 Tracing options:
   -dparse        Save C file after parsing and elaboration in <file>.parse.c
@@ -564,6 +565,10 @@ let cmdline_actions =
 (* Linking options *)
   Prefix "-l", Self push_linker_arg;
   Prefix "-L", Self push_linker_arg;
+  Exact "-T", String (fun s -> if Configuration.system = "diab" then 
+    push_linker_arg ("-Wm "^s) 
+  else
+    push_linker_arg ("-T "^s));
   Prefix "-Wl,", Self push_linker_arg;
 (* Tracing options *)
   Exact "-dparse", Set option_dparse;
-- 
cgit