diff options
author | Chris Dyer <redpony@gmail.com> | 2014-05-08 20:23:42 -0400 |
---|---|---|
committer | Chris Dyer <redpony@gmail.com> | 2014-05-08 20:23:42 -0400 |
commit | 0f087998860585e157641ce7bcf3c190e3e43d7c (patch) | |
tree | 8a0667e5f20ec0f80cd3cfcb765717148472772b /realtime | |
parent | e027ec43dad0fa2bd9d2d7161ec0355bc1641178 (diff) | |
parent | 260af5469061d1086a566cebd5f0a8750a654212 (diff) |
Merge branch 'master' of https://github.com/redpony/cdec
Diffstat (limited to 'realtime')
-rwxr-xr-x | realtime/mkconfig.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/realtime/mkconfig.py b/realtime/mkconfig.py index 71944080..f9938051 100755 --- a/realtime/mkconfig.py +++ b/realtime/mkconfig.py @@ -59,9 +59,14 @@ def main(): shutil.copy(weights_final, os.path.join(output_d, 'weights.final')) # other options - # TODO: automatically set some things here - with open(os.path.join(output_d, 'rt.ini'), 'w') as rt_ini: - pass + rt_ini = os.path.join(output_d, 'rt.ini') + with open(rt_ini, 'w') as out: + if libcdec_ff_hpyplm_so and corpus_hpyplm: + out.write('hpyplm=true\n') + else: + out.write('hpyplm=false\n') + out.write('metric=ibm_bleu\n') + sys.stderr.write('IMPORTANT: add any additional options such as metric=meteor to {}\n'.format(rt_ini)) if __name__ == '__main__': main() |