PR#14: recognize ".so" arguments as files to pass to the linker.

AbsInt · Jan 2, 2015 · 334be23 · 334be23
1 parent ce8f29b
commit 334be23
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/driver/Driver.ml b/driver/Driver.ml
@@ -476,8 +476,9 @@ let cmdline_actions =
       push_action process_S_file s; incr num_source_files);
   Suffix ".o", Self push_linker_arg;
   Suffix ".a", Self push_linker_arg;
-  (* GCC compatibility: .o.ext files are also object files *)
+  (* GCC compatibility: .o.ext files and .so files are also object files *)
   _Regexp ".*\\.o\\.", Self push_linker_arg;
+  Suffix ".so", Self push_linker_arg;
   (* GCC compatibility: .h files can be preprocessed with -E *)
   Suffix ".h", Self (fun s ->
       push_action process_h_file s; incr num_source_files);