vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

pref: .o build mode

pull/12611/head^2
Alexander Medvednikov 2021-11-29 05:00:20 +03:00
parent 6d97b0a407
commit c14c324125
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
vlib/v/gen/c/cmain.v
View File

@ -10,6 +10,10 @@ pub fn (mut g Gen) gen_c_main() {
if g.pref.is_liveshared { if g.pref.is_liveshared {
return return
} }
if g.pref.is_o {
// no main in .o files
return
}
g.out.writeln('') g.out.writeln('')
main_fn_start_pos := g.out.len main_fn_start_pos := g.out.len

3
vlib/v/pref/pref.v
View File

@ -107,6 +107,7 @@ pub mut:
is_livemain bool // main program that contains live/hot code is_livemain bool // main program that contains live/hot code
is_liveshared bool // a shared library, that will be used in a -live main program is_liveshared bool // a shared library, that will be used in a -live main program
is_shared bool // an ordinary shared library, -shared, no matter if it is live or not is_shared bool // an ordinary shared library, -shared, no matter if it is live or not
is_o bool // building an .o file
is_prof bool // benchmark every function is_prof bool // benchmark every function
profile_file string // the profile results will be stored inside profile_file profile_file string // the profile results will be stored inside profile_file
profile_no_inline bool // when true, [inline] functions would not be profiled profile_no_inline bool // when true, [inline] functions would not be profiled
@ -556,6 +557,8 @@ pub fn parse_args(known_external_commands []string, args []string) (&Preferences
if res.out_name.ends_with('.js') { if res.out_name.ends_with('.js') {
res.backend = .js_node res.backend = .js_node
res.output_cross_c = true res.output_cross_c = true
} else if res.out_name.ends_with('.o') {
res.is_o = true
} }
if !os.is_abs_path(res.out_name) { if !os.is_abs_path(res.out_name) {
res.out_name = os.join_path(os.getwd(), res.out_name) res.out_name = os.join_path(os.getwd(), res.out_name)