[Termtools] Java on StarExec

[Marcel Hark]

Dear Dieter,

we include the Java Runtime Environment in the zip for our solver. Then,
in the configuration scripts, we call the .jar of our solver with this
local JRE version.

Best,

Marcel

Am 19.06.20 um 18:36 schrieb Dieter Hofbauer:
> Dear all,
>
> testing MultumNonMulta, I see that only Java 8 is supported on
> StarExec, but Java 11 is needed by my tool. Does anybody know how to
> handle this problem? A rhetorical question, the answer is yes: For
> Aprove, Java in bundled with the solver before submitting it to
> StarExec, as far as I know.
>
> @Marcel Hark or other Aprove people: Could you please give hints how todo this, as painless as possible?
>
> Thanks in advance and best regards
> Dieter
>
> --
>
> Dieter Hofbauer
> dieter_hofbauer at web.de
> Mühlengasse 16, D-34125 Kassel, Germany
> phone (+49) 561 739 29 54
>
>
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
-- 

Marcel Hark
Research Group Computer Science 2
RWTH Aachen University
52056 Aachen
Germany

E-Mail: marcel.hark at cs.rwth-aachen.de"
Phone: +49-241/80-21214
Fax: +49-241/80-22217
Room: 4208, Ahornstr. 55

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200620/f96606c1/attachment-0001.htm>