[isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin



Dear Isabelle Users,

I had to reinstall my Isabelle2012 on Windows and now I´m having some
unexpected problems with
"isabelle make" when preparing document sessions.

So far I was using RC2 (I think this was the name) and everything was
working properly. This
time I downloaded the official release.

Below I paste the error messages as they appear in the Cygwin terminal. I
have little clue with
respect to what they are conveying.

Many thanks for any help on that!
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

AlfioMartini at AlfioMartini-PC~/Isabelle/Metodos-Formais/Provas/P1-2012-02-gab
$ isabelle mkdir HOL p1mf201202gab
Preparing session "p1mf201202gab" ...
creating ./IsaMakefile
creating ./p1mf201202gab/ROOT.ML
creating ./p1mf201202gab/document
creating ./p1mf201202gab/document/root.tex

Notes:

  * 'isabelle make' processes the session (including document preparation)

  * ./IsaMakefile contains compilation options and file dependencies

  * ./p1mf201202gab/document/root.tex contains the LaTeX master document
setup

  * ./p1mf201202gab/ROOT.ML needs to contain ML code to load all theories


AlfioMartini at AlfioMartini-PC~/Isabelle/Metodos-Formais/Provas/P1-2012-02-gab
$ isabelle make
Running HOL-p1mf201202gab ...
Browser info at
/cygdrive/c/Users/AlfioMartini/.isabelle/Isabelle2012/browser_info/HOL/p1mf201202gab
sh:
/cygdrive/c/Isabelle2012/contrib/exec_process-1.0/x86-cygwin/exec_process:
Bad address
sh:
/cygdrive/c/Isabelle2012/contrib/exec_process-1.0/x86-cygwin/exec_process:
No error
HOL-p1mf201202gab FAILED
(see also
/cygdrive/c/Users/AlfioMartini/.isabelle/Isabelle2012/heaps/polyml-5.4.1_x86-cygwin/log/HOL-p1mf201202gab)

> val it = (): unit
val commit = fn: unit -> bool

### Browser info: cannot access session index of
"/cygdrive/c/Users/AlfioMartini/.isabelle/Isabelle2012/browser_info/HOL
"


*** System command failed: mkdir -p
'/cygdrive/c/Users/AlfioMartini/.isabelle/Isabelle2012/browser_info/HOL/p1mf201202ga
b/document'

IsaMakefile:25: recipe for target
`/cygdrive/c/Users/AlfioMartini/.isabelle/Isabelle2012/heaps/polyml-5.4.1_x86-cygwin/l
og/HOL-p1mf201202gab.gz' failed
make: ***
[/cygdrive/c/Users/AlfioMartini/.isabelle/Isabelle2012/heaps/polyml-5.4.1_x86-cygwin/log/HOL-p1mf201202gab.gz]
 Error 1

AlfioMartini at AlfioMartini-PC~/Isabelle/Metodos-Formais/Provas/P1-2012-02-gab
-- 
Alfio Ricardo Martini
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 MHonArc.