Re: [isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin
Thank you for your quick answer. Anyway I do not have any other Cygwin
installation and I am
using the Cygwin terminal from the Isabelle bundle (as I always did).
That is why I mentioned that I have no clue about what is going on.
Since I am really in need of this, I am coming back to the good old
Please, let me me know if you have any other suggestion.
All the Best!
On Wed, Oct 10, 2012 at 9:49 AM, Makarius <makarius at sketis.net> wrote:
> On Wed, 10 Oct 2012, Alfio Martini wrote:
> I had to reinstall my Isabelle2012 on Windows and now I´m having some
>> unexpected problems with
>> "isabelle make" when preparing document sessions.
> Below I paste the error messages as they appear in the Cygwin terminal.
>> Bad address
>> No error
>> *** System command failed: mkdir -p
> Error "no error" sounds like one of these old Windows jokes.
> Anyway, such basic shell tools crashing normally indicates some confusion
> of Cygwin versions (notably cygwin.dll). Isabelle2012 bundles its own
> Cygwin, and you need to make sure that it does not execute programs from a
> different Cygwin installation. This should normally work, if you use the
> Cygwin Terminal from inside Isabelle2012.
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
This archive was generated by a fusion of
Pipermail (Mailman edition) and