1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id$ *)
open Config
open Clflags
let process_interface_file name =
Optcompile.interface name
let process_implementation_file name =
Optcompile.implementation name;
objfiles := (Filename.chop_extension name ^ ".cmx") :: !objfiles
let process_file name =
if Filename.check_suffix name ".ml"
or Filename.check_suffix name ".mlt" then begin
Optcompile.implementation name;
objfiles := (Filename.chop_extension name ^ ".cmx") :: !objfiles
end
else if Filename.check_suffix name !Config.interface_suffix then
Optcompile.interface name
else if Filename.check_suffix name ".cmx"
or Filename.check_suffix name ".cmxa" then
objfiles := name :: !objfiles
else if Filename.check_suffix name ext_obj
or Filename.check_suffix name ext_lib then
ccobjs := name :: !ccobjs
else if Filename.check_suffix name ".c" then begin
Optcompile.c_file name;
ccobjs := (Filename.chop_suffix (Filename.basename name) ".c" ^ ext_obj)
:: !ccobjs
end
else
raise(Arg.Bad("don't know what to do with " ^ name))
let print_version_number () =
print_string "The Objective Caml native-code compiler, version ";
print_string Config.version; print_newline();
print_string "Standard library directory: ";
print_string Config.standard_library; print_newline()
let usage = "Usage: ocamlopt <options> <files>\nOptions are:"
let main () =
try
native_code := true;
Arg.parse [
"-a", Arg.Set make_archive, " Build a library";
"-c", Arg.Set compile_only, " Compile only (do not link)";
"-cclib", Arg.String(fun s -> ccobjs := s :: !ccobjs),
"<opt> Pass option <opt> to the C linker";
"-ccopt", Arg.String(fun s -> ccopts := s :: !ccopts),
"<opt> Pass option <opt> to the C compiler and linker";
"-compact", Arg.Clear optimize_for_speed,
" Optimize code size rather than speed";
"-i", Arg.Set print_types, " Print the inferred types";
"-I", Arg.String(fun dir -> include_dirs := dir :: !include_dirs),
"<dir> Add <dir> to the list of include directories";
"-impl", Arg.String process_implementation_file,
"<file> Compile <file> as a .ml file";
"-inline", Arg.Int(fun n -> inline_threshold := n * 8),
"<n> Set aggressiveness of inlining to <n>";
"-intf", Arg.String process_interface_file,
"<file> Compile <file> as a .mli file";
"-intf-suffix", Arg.String (fun s -> Config.interface_suffix := s),
"<file> Suffix for interface file (default: .mli)";
"-intf_suffix", Arg.String (fun s -> Config.interface_suffix := s),
"<file> same as -intf-suffix";
"-linkall", Arg.Set link_everything,
" Link all modules, even unused ones";
"-noassert", Arg.Set noassert, " Don't compile assertion checks";
"-o", Arg.String(fun s -> exec_name := s;
archive_name := s;
object_name := s),
"<file> Set output file name to <file> (default a.out)";
"-output-obj", Arg.Unit(fun () -> output_c_object := true),
" Output a C object file instead of an executable";
"-p", Arg.Set gprofile,
" Compile and link with profiling support for \"gprof\"\n\
\t(not supported on all platforms)";
"-pp", Arg.String(fun s -> preprocessor := Some s),
"<command> Pipe sources through preprocessor <command>";
"-S", Arg.Set keep_asm_file, " Keep intermediate assembly file";
"-thread", Arg.Set thread_safe, " Use thread-safe standard library";
"-unsafe", Arg.Set fast,
" No bounds checking on array and string access";
"-v", Arg.Unit print_version_number, " Print compiler version number";
"-verbose", Arg.Set verbose, " Print calls to external commands";
"-w", Arg.String F._w, "<flags> Enable warnings according to <flags>:\n\
\032 A/a enable/disable all warnings\n\
\032 F/f enable/disable partially applied function\n\
\032 M/m enable/disable overriden methods\n\
\032 P/p enable/disable partial match\n\
\032 S/s enable/disable non-unit statement\n\
\032 U/u enable/disable unused match case\n\
\032 V/v enable/disable hidden instance variables\n\
\032 X/x enable/disable all other warnings\n\
\032 default setting is A";
"-nopervasives", Arg.Set nopervasives, " (undocumented)";
"-drawlambda", Arg.Set dump_rawlambda, " (undocumented)";
"-dlambda", Arg.Set dump_lambda, " (undocumented)";
"-dcmm", Arg.Set dump_cmm, " (undocumented)";
"-dsel", Arg.Set dump_selection, " (undocumented)";
"-dlive", Arg.Unit(fun () -> dump_live := true;
Printmach.print_live := true),
" (undocumented)";
"-dspill", Arg.Set dump_spill, " (undocumented)";
"-dsplit", Arg.Set dump_split, " (undocumented)";
"-dinterf", Arg.Set dump_interf, " (undocumented)";
"-dprefer", Arg.Set dump_prefer, " (undocumented)";
"-dalloc", Arg.Set dump_regalloc, " (undocumented)";
"-dreload", Arg.Set dump_reload, " (undocumented)";
"-dscheduling", Arg.Set dump_scheduling, " (undocumented)";
"-dlinear", Arg.Set dump_linear, " (undocumented)";
"-dstartup", Arg.Set keep_startup_file, " (undocumented)";
"-", Arg.String process_file,
"<file> Treat <file> as a file name (even if it starts with `-')"
] process_file usage;
if !make_archive then begin
Optcompile.init_path();
Asmlibrarian.create_archive (List.rev !objfiles) !archive_name
end
else if not !compile_only & !objfiles <> [] then begin
Optcompile.init_path();
Asmlink.link (List.rev !objfiles)
end;
exit 0
with x ->
Format.set_formatter_out_channel stderr;
Opterrors.report_error x;
exit 2
let _ = Printexc.catch main ()
|
