[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