[isabelle-dev] Are sources available?

Lars Hupel hupel at in.tum.de
Sat Jun 15 19:15:17 CEST 2019

> Why is it so hard, anyway? Normally projects provide a single source
> tree and it builds and installs from it. Usually, for complex projects,
> cmake works well, and it allows the project to be built almost
> automatically.

This is a can of worms. The problem is that there are lots of external
dependencies and building C/C++ code is not reproducible across various
platforms. Hence, dependencies are provided as binary packages for the
three supported platforms (Windows/macOS/Linux) so that platform
differences are largely abstracted away.

More information about the isabelle-dev mailing list