equal
deleted
inserted
replaced
1045 system ("env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \ |
1045 system ("env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \ |
1046 \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
1046 \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
1047 \$JAVA_LIBRARY_PATH\" \ |
1047 \$JAVA_LIBRARY_PATH\" \ |
1048 \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
1048 \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
1049 \$LD_LIBRARY_PATH\" \ |
1049 \$LD_LIBRARY_PATH\" \ |
1050 \\"$ISABELLE_TOOL\" java \ |
1050 \\"$KODKODI\"/bin/kodkodi" ^ |
1051 \de.tum.in.isabelle.Kodkodi.Kodkodi" ^ |
|
1052 (if ms >= 0 then " -max-msecs " ^ Int.toString ms |
1051 (if ms >= 0 then " -max-msecs " ^ Int.toString ms |
1053 else "") ^ |
1052 else "") ^ |
1054 (if max_solutions > 1 then " -solve-all" else "") ^ |
1053 (if max_solutions > 1 then " -solve-all" else "") ^ |
1055 " -max-solutions " ^ Int.toString max_solutions ^ |
1054 " -max-solutions " ^ Int.toString max_solutions ^ |
1056 (if max_threads > 0 then |
1055 (if max_threads > 0 then |