Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping
On Wed, 6 Jan 2016, Lars Hupel wrote:
The error message is:
I think I found the cause.
I use native Java 7+ APIs to unpack the distribution tarballs. In
particular, I use Java's facilities to create symlinks if I encounter
one in the tarball.
What is the outcome of that on Windows? The result needs to be a Cygwin
symlink, which is a funny special file for Windows.
Now, for some reason, "contrib\cygwin\dev\fd" (and others) are broken
symlinks (I need to figure out why).
The links points to /proc/self which presumably makes sense only for
Cygwin processes, not for the java process.
This archive was generated by a fusion of
Pipermail (Mailman edition) and