> 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
