From 86cc275b2b0b6e89d2b9e5b476e6a10163a8ed42 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 16 Feb 2016 14:38:45 +0100
Subject: Added new option for static linking.

The new option -static passes the -static flag to the linker.
Bug 18066.
---
 driver/Driver.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/driver/Driver.ml b/driver/Driver.ml
index cc0d018e..4b695d57 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -497,6 +497,7 @@ Assembling options:
 Linking options:
   -l<lib>        Link library <lib>
   -L<dir>        Add <dir> to search path for libraries
+  -static        Prevent linking with the shared libraries
   -T <file>      Use <file> as linker command file
   -Wl,<opt>      Pass option <opt> to the linker
 Tracing options:
@@ -617,6 +618,7 @@ let cmdline_actions =
 (* Linking options *)
   Prefix "-l", Self push_linker_arg;
   Prefix "-L", Self push_linker_arg;
+  Exact "-static", Self push_linker_arg;
   Exact "-T", String (fun s -> if Configuration.system = "diab" then
     push_linker_arg ("-Wm"^s)
   else begin
-- 
cgit