Email Gateway (Nov 03 2022 at 06:26): Email Gateway (Nov 03 2022 at 06:26):From: Tobias Nipkow <nipkow@in.tum.de>
I have just fetched the latest devel version of isabelle (2fd70eb1e9b6 tip) but
cannot build isabelle because of missing components:
$ isabelle build HOL
"/Users/nipkow/.isabelle/contrib/isabelle_setup-20221028"
Error: Could not find or load main class isabelle.setup.Setup
Caused by: java.lang.ClassNotFoundException: isabelle.setup.Setup
Unfortunately, trying to download the components fails in exactly the same way:
$ isabelle conponents -a
"/Users/nipkow/.isabelle/contrib/isabelle_setup-20221028"
Error: Could not find or load main class isabelle.setup.Setup
Caused by: java.lang.ClassNotFoundException: isabelle.setup.Setup
Thus I seem to be stuck...
Tobias
smime.p7s
Email Gateway (Nov 03 2022 at 10:02):From: Makarius <makarius@sketis.net>
On 03/11/2022 07:25, Tobias Nipkow wrote:
I have just fetched the latest devel version of isabelle (2fd70eb1e9b6 tip)
but cannot build isabelle because of missing components:$ isabelle build HOL
Missing Isabelle component: "/Users/nipkow/.isabelle/contrib/easychair-3.5"
Missing Isabelle component: "/Users/nipkow/.isabelle/contrib/foiltex-2.1.4b"
Missing Isabelle component:
"/Users/nipkow/.isabelle/contrib/isabelle_setup-20221028"
Missing Isabelle component: "/Users/nipkow/.isabelle/contrib/lipics-3.1.2"
Missing Isabelle component: "/Users/nipkow/.isabelle/contrib/scala-3.2.0-2"
Missing Isabelle component:
"/Users/nipkow/.isabelle/contrib/zstd-jni-1.5.2-5"
Error: Could not find or load main class isabelle.setup.Setup
Caused by: java.lang.ClassNotFoundException: isabelle.setup.SetupUnfortunately, trying to download the components fails in exactly the same way:
I have tried to reproduce the problem with Isabelle/2fd70eb1e9b6, after
deleting these components: isabelle components -a works for me as expected.
It would be interesting to know where the java.lang.ClassNotFoundException
happens: it must be somewhere in the stack of etc/settings scripts.
You can try to put "set -x" into lib/scripts/getsettings near the start, to
geta full trace (and send me that privately).
Thus I seem to be stuck...
It is always possible to download and unpack missing components manually. It
should be sufficient to do it for isabelle_setup-20221028
Makarius
Email Gateway (Nov 03 2022 at 10:36):From: Tobias Nipkow <nipkow@in.tum.de>
A typo of mine :rolling_eyes: (as Peter Gammie noticed)
Tobias
smime.p7s
Email Gateway (Nov 03 2022 at 11:28):From: Makarius <makarius@sketis.net>
OK, problem solved.
Also note that the current / more convenient way is to use Admin/init instead
of "isabelle components -a".
Makarius
Last updated: Apr 26 2024 at 16:20 UTC