diff options
Diffstat (limited to 'driver/main.ml')
| -rw-r--r-- | driver/main.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/driver/main.ml b/driver/main.ml index ac008a9c9b..e38f7f383c 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -34,7 +34,8 @@ let process_file ppf name = || Filename.check_suffix name ".cma" then objfiles := name :: !objfiles else if Filename.check_suffix name ext_obj - || Filename.check_suffix name ext_lib then + || Filename.check_suffix name ext_lib + || Filename.check_suffix name ext_dll then ccobjs := name :: !ccobjs else if Filename.check_suffix name ".c" then begin Compile.c_file name; @@ -73,6 +74,7 @@ module Options = Main_args.Make_options (struct let _cclib s = ccobjs := s :: !ccobjs let _ccopt s = ccopts := s :: !ccopts let _custom = set custom_runtime + let _dllpath s = dllpaths := !dllpaths @ [s] let _g = set debug let _i = set print_types let _I s = include_dirs := s :: !include_dirs |