[isabelle-dev] Scala error

Makarius makarius at sketis.net
Fri Nov 12 10:47:19 CET 2021

> On 12/11/2021 07:48, Tobias Nipkow wrote:
>> I am on 6cb700c77786
>> $ ### Building Isabelle/Scala
>> (/Users/nipkow/isabelle/lib/classes/isabelle.jar) ...
>> /Users/nipkow/isabelle/src/Pure/Admin/build_history.scala:143: error: object
>> getenv is not a member of package System
>>      System.getenv("ISABELLE_SETTINGS_PRESENT") match {
>> and so on. I tried "isabelle components -a" but nothing happens.

On 12/11/2021 09:42, Tobias Nipkow wrote:
> I also emptied .isabelle/contrib and reran components -a, but the error

Odd. From a distance, I would say there is something wrong with the classpath,
e.g. old versions of Scala or something else.

It could help to purge lib/classes/ within the Isabelle repository clone.

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


More information about the isabelle-dev mailing list