equal
deleted
inserted
replaced
1034 let |
1034 let |
1035 val ms = milliseconds_until_deadline deadline |
1035 val ms = milliseconds_until_deadline deadline |
1036 val outcome = |
1036 val outcome = |
1037 let |
1037 let |
1038 val code = |
1038 val code = |
1039 bash ("cd " ^ File.shell_quote temp_dir ^ ";\n" ^ |
1039 bash ("cd " ^ File.shell_quote temp_dir ^ ";\n\ |
1040 "env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \ |
|
1041 \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
|
1042 \$JAVA_LIBRARY_PATH\" \ |
|
1043 \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
|
1044 \$LD_LIBRARY_PATH\" \ |
|
1045 \\"$KODKODI\"/bin/kodkodi" ^ |
1040 \\"$KODKODI\"/bin/kodkodi" ^ |
1046 (if ms >= 0 then " -max-msecs " ^ string_of_int ms |
1041 (if ms >= 0 then " -max-msecs " ^ string_of_int ms |
1047 else "") ^ |
1042 else "") ^ |
1048 (if max_solutions > 1 then " -solve-all" else "") ^ |
1043 (if max_solutions > 1 then " -solve-all" else "") ^ |
1049 " -max-solutions " ^ string_of_int max_solutions ^ |
1044 " -max-solutions " ^ string_of_int max_solutions ^ |