Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping



On Thu, 7 Jan 2016, Lars Hupel wrote:

Regardless of the actual outcome, deleting the file beforehand should be safe, because the code to recover Cygwin symlinks truncates the files anyway, i.e. in the worst case it's a redundant operation.

Should this be done on my side or on your side? In principle, the assumption of Isabelle_System.init is that the distribution has been unpacked as plain files on Windows, without any special Unix things.

The Isabelle_windows.tar.gz with symblinks violates that in some sense, so maybe links should be removed by the release build process? (What you have called "Wurstfabrik").


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.