Email Gateway (Aug 22 2022 at 20:08): Email Gateway (Aug 22 2022 at 20:08):From: Lars Hupel <hupel@in.tum.de>
Dear users,
I'd like to report a finding that I had to make the hard way today.
I'm currently in the process of migrating the AFP submission service to
Ubuntu 18.04 LTS. The package 'fontconfig' is not installed any longer
in the server edition. When building Isabelle sessions on such a
headless server, this results in the output 'InvocationTargetException'
printed on the screen.
The underlying issue is that Isabelle tries to load the available fonts
(?) and the JDK cannot do that, because 'fontconfig' is missing.
Ultimately, there's a NPE somewhere in the 'sun.awt.*' package.
Luckily, the fix is simple: 'apt install fontconfig'.
Here's the corresponding issue in the AdoptOpenJDK repository:
<https://github.com/AdoptOpenJDK/openjdk-build/issues/693>.
Cheers
Lars
Email Gateway (Aug 22 2022 at 20:08):From: Makarius <makarius@sketis.net>
BTW, the official Isabelle docker image documents such system
dependencies: see http://isabelle.in.tum.de/installation.html at the
bottom, which points to https://hub.docker.com/r/makarius/isabelle --
and this is generated by Isabelle/Scala here:
http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2019/src/Pure/Tools/build_docker.scala
The relevant change from 4 months ago is here
http://isabelle.in.tum.de/repos/isabelle/rev/e3217c6d6467
Makarius
Email Gateway (Aug 22 2022 at 20:09):From: Lars Hupel <hupel@in.tum.de>
FWIW, this could be useful to put on the Isabelle website.
Email Gateway (Aug 22 2022 at 20:10):From: Makarius <makarius@sketis.net>
OK, I have made minor changes to
https://isabelle.in.tum.de/installation.html to say more explicitly
"Docker: Headless Ubuntu Linux" and "The Docker image contains Ubuntu
Linux 18.04 with Isabelle2019".
Makarius
Last updated: Apr 26 2024 at 16:20 UTC