[isabelle-dev] Scalablity problem with pdflatex on lxbroy10 for AFP session Collections

[Florian Haftmann]

> Building Collections ...
> Warning - Unable to increase stack - interrupting thread
> Warning - Unable to increase stack - interrupting thread
> Warning - Unable to increase stack - interrupting thread
> Warning - Unable to increase stack - interrupting thread
> ### Document preparation for session "Collections" without 'document_files'
> Collections FAILED
> (see also /mnt/home/haftmann/data/isabelle/devel/heaps/polyml-5.5.1_x86-linux/log/Collections)
> 
> *** Package hyperref Warning: old toc file detected, not used; run LaTeX again.
> *** 
> *** [2]
> *** 
> *** ! LaTeX Error: File `ICF_Userguide.tex' not found.
> *** 
> *** Type X to quit or <RETURN> to proceed,
> *** or enter new name. (Default extension: tex)
> *** 
> *** Enter file name: 
> *** ! Emergency stop.
> *** <read *> 
> ***          
> *** l.55 \input{ICF_Userguide}
> ***                           ^^M
> *** !  ==> Fatal error occurred, no output PDF file produced!
> *** Transcript written on root_userguide.log.
> *** Document preparation failure in directory '/mnt/home/haftmann/data/isabelle/devel/browser_info/AFP/Collections/userguide'
> *** 
> *** Failed to build document "/mnt/home/haftmann/data/isabelle/devel/browser_info/AFP/Collections/userguide.pdf"

Any ideas?

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140417/0b15f76f/attachment.asc>