[isabelle-dev] Scala error

[Tobias Nipkow]

I also emptied .isabelle/contrib and reran components -a, but the error persists.

Tobias

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.
> 
> Tobias
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 
-------------- 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/e92ce6fa/attachment.bin>