A patch for flexdll which enhances command line compatibility with gcc

flexdll-gcc-compat.patch

--- ./flexdll/cmdline.ml	2017-10-25 10:40:46.000000000 +0200
+++ ./flexdll/cmdline.ml	2019-02-19 21:41:18.157024900 +0100
@@ -248,6 +248,9 @@
         String.sub s 0 2 :: String.sub s 2 (String.length s - 2) :: tr rest
     | s :: rest when String.length s >= 5 && String.sub s 0 5 = "/link" ->
         "-link" :: String.sub s 5 (String.length s - 5) :: tr rest
+    (* Convert gcc linker option prefix -Wl, to flexlink linker prefix -link *)
+    | s :: rest when String.length s >= 6 && String.sub s 0 5 = "-Wl,-" ->
+        "-link" :: String.sub s 4 (String.length s - 4) :: tr rest
     | "-arg" :: x :: rest ->
         tr (Array.to_list (Arg.read_arg x)) @ rest
     | "-arg0" :: x :: rest ->