[isabelle-dev] Scala error

Tobias Nipkow nipkow at in.tum.de
Fri Nov 12 10:51:52 CET 2021



On 12/11/2021 10:47, Makarius wrote:
> It could help to purge lib/classes/ within the Isabelle repository clone.

I should have said that I tried that as well (suggested by Fabian Huch). I 
emptied lib/classes/ and it is still empty.

> Moreover, you can check "isabelle components -l" and "isabelle getenv
> ISABELLE_CLASSPATH CLASSPATH" to see if some old garbage left over.

$ isabelle getenv ISABELLE_CLASSPATH CLASSPATH
ISABELLE_CLASSPATH=/Users/nipkow/.isabelle/contrib/flatlaf-1.6/lib/flatlaf-1.6.jar:/Users/nipkow/.isabelle/contrib/isabelle_setup-20211109/lib/isabelle_setup.jar:/Users/nipkow/.isabelle/contrib/jedit-20211103/jedit5.6.0-patched/jedit.jar:/Users/nipkow/.isabelle/contrib/jfreechart-1.5.3/lib/iText-2.1.5.jar:/Users/nipkow/.isabelle/contrib/jfreechart-1.5.3/lib/jfreechart-1.5.3.jar:/Users/nipkow/.isabelle/contrib/jortho-1.0-2/jortho.jar:/Users/nipkow/.isabelle/contrib/kodkodi-1.5.7/jar/antlr-runtime-3.1.1.jar:/Users/nipkow/.isabelle/contrib/kodkodi-1.5.7/jar/kodkod-1.5.jar:/Users/nipkow/.isabelle/contrib/kodkodi-1.5.7/jar/kodkodi-1.5.7.jar:/Users/nipkow/.isabelle/contrib/kodkodi-1.5.7/jar/sat4j-2.3.jar:/Users/nipkow/.isabelle/contrib/postgresql-42.2.24/postgresql-42.2.24.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/jline-3.19.0.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/jna-5.3.1.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-compiler.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-library.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scalap-2.13.5.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-parallel-collections_2.13-1.0.0.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-parser-combinators_2.13-1.1.2.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-reflect.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-swing_2.13-3.0.0.jar:/Users/nipkow/.isabelle/contrib/scala-2.13.5/lib/scala-xml_2.13-1.3.0.jar:/Users/nipkow/.isabelle/contrib/sqlite-jdbc-3.36.0.3/sqlite-jdbc-3.36.0.3.jar:/Users/nipkow/.isabelle/contrib/ssh-java-20190323/lib/jsch-0.1.55.jar:/Users/nipkow/.isabelle/contrib/ssh-java-20190323/lib/jzlib-1.1.3.jar:/Users/nipkow/.isabelle/contrib/ssh-java-20190323/lib/jce.jar:/Users/nipkow/.isabelle/contrib/xz-java-1.9/lib/xz-1.9.jar
CLASSPATH=

$ isabelle components -l

Available components:
   /Users/nipkow/isabelle
   /Users/nipkow/isabelle/src/Tools/jEdit
   /Users/nipkow/isabelle/src/Tools/GraphBrowser
   /Users/nipkow/isabelle/src/Tools/Graphview
   /Users/nipkow/isabelle/src/Tools/Setup
   /Users/nipkow/isabelle/src/Tools/VSCode
   /Users/nipkow/isabelle/src/HOL/Mutabelle
   /Users/nipkow/isabelle/src/HOL/Library/Sum_of_Squares
   /Users/nipkow/isabelle/src/HOL/SPARK
   /Users/nipkow/isabelle/src/HOL/Tools
   /Users/nipkow/isabelle/src/HOL/TPTP
   /Users/nipkow/isabelle/Admin
   /Users/nipkow/.isabelle
   /Users/nipkow/.isabelle/contrib/gnu-utils-20211030
   /Users/nipkow/.isabelle/contrib/bash_process-1.2.4-2
   /Users/nipkow/.isabelle/contrib/bib2xhtml-20190409
   /Users/nipkow/.isabelle/contrib/csdp-6.1.1
   /Users/nipkow/.isabelle/contrib/cvc4-1.8
   /Users/nipkow/.isabelle/contrib/e-2.6-1
   /Users/nipkow/.isabelle/contrib/flatlaf-1.6
   /Users/nipkow/.isabelle/contrib/idea-icons-20210508
   /Users/nipkow/.isabelle/contrib/isabelle_fonts-20211004
   /Users/nipkow/.isabelle/contrib/isabelle_setup-20211109
   /Users/nipkow/.isabelle/contrib/jdk-17.0.1+12
   /Users/nipkow/.isabelle/contrib/jedit-20211103
   /Users/nipkow/.isabelle/contrib/jfreechart-1.5.3
   /Users/nipkow/.isabelle/contrib/jortho-1.0-2
   /Users/nipkow/.isabelle/contrib/kodkodi-1.5.7
   /Users/nipkow/.isabelle/contrib/minisat-2.2.1-1
   /Users/nipkow/.isabelle/contrib/nunchaku-0.5
   /Users/nipkow/.isabelle/contrib/opam-2.0.7
   /Users/nipkow/.isabelle/contrib/polyml-5.9-5d4caa8f7148
   /Users/nipkow/.isabelle/contrib/postgresql-42.2.24
   /Users/nipkow/.isabelle/contrib/scala-2.13.5
   /Users/nipkow/.isabelle/contrib/smbc-0.4.1
   /Users/nipkow/.isabelle/contrib/spass-3.8ds-2
   /Users/nipkow/.isabelle/contrib/sqlite-jdbc-3.36.0.3
   /Users/nipkow/.isabelle/contrib/ssh-java-20190323
   /Users/nipkow/.isabelle/contrib/stack-2.7.3
   /Users/nipkow/.isabelle/contrib/vampire-4.6
   /Users/nipkow/.isabelle/contrib/verit-2021.06.1-rmx
   /Users/nipkow/.isabelle/contrib/xz-java-1.9
   /Users/nipkow/.isabelle/contrib/z3-4.4.0pre-3
   /Users/nipkow/.isabelle/contrib/zipperposition-2.1-1
   /Users/nipkow/AFP/devel
   /Users/nipkow/Sem

Missing components:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211112/5d552428/attachment-0001.bin>


More information about the isabelle-dev mailing list