Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping



On Thu, 7 Jan 2016, Lars Hupel wrote:

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").

Of course, that would also work. I didn't think of that, but it's
probably the proper solution.

I forgot to add: This would also mean that administrative privileges are
not required any more for unpacking the Windows tarball (mere users are
not allowed to create symlinks).

OK, I have changed it trivially as follows: http://isabelle.in.tum.de/repos/isabelle/rev/8d5f2e3e836d


	Makarius




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