[isabelle-dev] Are sources available?
yuri at rawbw.com
Sat Jun 15 19:07:16 CEST 2019
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
Isabelle doesn't work this way?
More information about the isabelle-dev