summaryrefslogtreecommitdiff
path: root/realtime
diff options
context:
space:
mode:
authorChris Dyer <redpony@gmail.com>2014-05-08 20:23:42 -0400
committerChris Dyer <redpony@gmail.com>2014-05-08 20:23:42 -0400
commit0f087998860585e157641ce7bcf3c190e3e43d7c (patch)
tree8a0667e5f20ec0f80cd3cfcb765717148472772b /realtime
parente027ec43dad0fa2bd9d2d7161ec0355bc1641178 (diff)
parent260af5469061d1086a566cebd5f0a8750a654212 (diff)
Merge branch 'master' of https://github.com/redpony/cdec
Diffstat (limited to 'realtime')
-rwxr-xr-xrealtime/mkconfig.py11
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()