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").
This archive was generated by a fusion of
Pipermail (Mailman edition) and