Re: [isabelle] Requirement 'fontconfig'



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

FWIW, this could be useful to put on the Isabelle website.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.