[isabelle-dev] Problems building Isabelle/Scala
hupel at in.tum.de
Sat Apr 6 14:04:39 CEST 2019
> Instead of bisect, I took an educated guess after looking at the file history of Admin/components/main. So the first bad commit for me is b578749daa62 (which introduces scala 2.12.8). With its parent isabelle jedit -bf works.
> Funnily, my operating system installation of scala is 2.12.8 too and I don't have any problems with it.
> Not sure how to proceed from here.
Scala 2.13.0-RC1 has just been released:
Maybe Makarius could package this as an Isabelle component already.
Scala 2.13.1 is currently slated for June 15, but curiously I couldn't
find a release date for 2.13.0 to figure out if it would be suitable for
the upcoming Isabelle2019 release.
More information about the isabelle-dev