Re: [isabelle] Isabelle/cygwin woes
On Tue, 16 Sep 2008, merz at loria.fr wrote:
> - Vista - Windows Version 6.0 (Build 6001: Service Pack 1)
> - CYGWIN_NT-6.0 1.5.25(0.156/4/2) 2008-06-12 19:34
> - polyml_x86-cygwin from the Isabelle2008 download page
> - Isabelle 2008 release
I have only tried XP/SP3 myself (where everything works), but Vista might
be the problem.
> mkdir: cannot create directory `/tmp/isabelle-user\r5992': No such file or
Since there is a strange CR (\r) showing up here, the problem might also
stem from DOS style CRLF conversion. When installing Cygwin there is a
global option to enable this; the (RECOMMENDED) default is plain
Unix/binary mode whithout implicit conversion.
In general Isabelle expects proper Posix semantics for all basic system
operations. Cygwin is surprisingly good at this, turning alien windows
into a solid Posix environment (sometimes even better than Mac OS).
This archive was generated by a fusion of
Pipermail (Mailman edition) and