On 2019-06-15 09:51, Lars Hupel wrote:
I think some people have tried to build Isabelle packages for FreeBSD before, which may be hard, judging by the following report:
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.
Isabelle doesn't work this way? Yuri _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
