[isabelle-dev] Are sources available?

[Yuri]

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