Email Gateway (Aug 23 2022 at 08:49): Email Gateway (Aug 23 2022 at 08:49):From: "J. Juhas (TUM)" <jonatan.juhas@tum.de>
Hello Isabelle Users and Developers,
I'm trying to run the newest 2020 version of isabelle in headless mode
(Windows WSL over Visual Code Remote with Isabelle Plugin). But I'm
having some difficulties.
I'm using this docker image (https://hub.docker.com/r/makarius/isabelle)
as a reference to enable the tool to work, but this line throws an
internal exception:
isabelle build -o system_heaps -b HOL
*** java.lang.InternalError: java.lang.reflect.InvocationTargetException
Some commands do run successfully:
isabelle version
Isabelle2020: April 2020
I've also tried just using the Windows version but that fails with
messages ranging from ASLR, incorrect setting of ISABELLE_HOME, OS
detection and finally simply ERROR
There's not much to go on about with those messages so I haven't been
able to make any more progress on patching them. Any help would be much
appreciated.
Thank you all in advance!
J. Juhas
Last updated: Apr 26 2024 at 20:16 UTC