Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamloptp: fix wrong name for -inline-max-unroll option (#1843) 

When using ocamlopt with the argument -inline-max-unroll, ocamloptp would pass it as -unroll to ocamlopt, thus leading to an error.
master
poechsel 2018-06-20 11:03:10 +01:00 committed by Xavier Leroy
parent f5411f24c9
commit 71d0d57d8d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/ocamloptp.ml
View File

@ -74,7 +74,7 @@ module Options = Main_args.Make_optcomp_options (struct
let _dump_pass = option_with_arg "-dump-pass"
let _inline_max_depth n = option_with_arg "-inline-max-depth" n
let _rounds n = option_with_int "-rounds" n
let _inline_max_unroll n = option_with_arg "-unroll" n
let _inline_max_unroll n = option_with_arg "-inline-max-unroll" n
let _inline_call_cost n = option_with_arg "-inline-call-cost" n
let _inline_alloc_cost n = option_with_arg "-inline-alloc-cost" n
let _inline_prim_cost n = option_with_arg "-inline-prim-cost" n