Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping

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

I would prefer on your side. I try to avoid changing the copies of the
official Isabelle/Scala sources in libisabelle.

I was suggesting this patch:

--- a/src/Pure/System/cygwin.scala      Wed Jan 06 16:17:50 2016 +0100
+++ b/src/Pure/System/cygwin.scala      Thu Jan 07 13:30:33 2016 +0100
@@ -46,6 +46,7 @@
           case link :: content :: rest =>
             val path = (new JFile(isabelle_root, link)).toPath

+            Files.delete(path)
             val writer = Files.newBufferedWriter(path, UTF8.charset)
             try { writer.write("!<symlink>" + content + "\u0000") }
             finally { writer.close }

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


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