jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Clearer compilation targets handling.

Browse source
This commit is contained in:
Léonard Gérard 2010-12-16 16:52:23 +01:00
parent 67a541339f
commit 467f4b3250
1 changed files with 26 additions and 31 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
compiler/minils/main/mls2seq.ml
View file

@ -46,38 +46,33 @@ let targets = [ "c", Obc_no_params Cmain.program;
let generate_target p s =
let print_unfolded p_list =
comment "Unfolding";
if !Compiler_options.verbose then
List.iter (Mls_printer.print stderr) p_list in
if !Compiler_options.verbose
then List.iter (Mls_printer.print stderr) p_list in
let target =
(try List.assoc s targets
with Not_found -> language_error s; raise Errors.Error) in
match target with
| Minils convert_fun ->
convert_fun p
| Obc convert_fun ->
let o = Mls2obc.program p in
convert_fun o
| Minils_no_params convert_fun ->
let p_list = Callgraph.program p in
List.iter convert_fun p_list
| Obc_no_params convert_fun ->
let p_list = Callgraph.program p in
let o_list = List.map Mls2obc.program p_list in
print_unfolded p_list;
comment "Translation to Obc";
if !verbose then
List.iter (Obc_printer.print stdout) o_list;
List.iter convert_fun o_list
with Not_found -> language_error s; raise Errors.Error) in
match target with
| Minils convert_fun ->
convert_fun p
| Obc convert_fun ->
let o = Mls2obc.program p in
convert_fun o
| Minils_no_params convert_fun ->
let p_list = Callgraph.program p in
List.iter convert_fun p_list
| Obc_no_params convert_fun ->
let p_list = Callgraph.program p in
let o_list = List.map Mls2obc.program p_list in
print_unfolded p_list;
comment "Translation to Obc";
if !verbose then
List.iter (Obc_printer.print stdout) o_list;
List.iter convert_fun o_list
(** Translation into dataflow and sequential languages, defaults to obc. *)
let program p =
(* Translation into dataflow and sequential languages *)
let targets =
if !create_object_file then
["epo"]
else
match !target_languages with
| [] -> ["obc"]; (* by default, generate obc file *)
| l -> l
in
List.iter (generate_target p) targets
let targets = match !target_languages with
| [] -> ["obc"] (* by default, generate obc file *)
| l -> l in
let targets = if !create_object_file then "epo"::targets else targets in
List.iter (generate_target p) targets