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

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


	Makarius





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