[PPL-devel] Parma Polyhedra Library 0.11.1

[Roberto Bagnara]

On 02/21/2011 04:42 AM, Jack Howarth wrote:
> On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote:
>>
>> We announce the availability of PPL 0.11.1, a new release of the Parma
>> Polyhedra Library.  This release includes several important bug fixes
>> and performance improvements.
>
> Roberto,
>     Have you had any reports of installation problems?

Hi Jack.

No, your report was the first one.

> After installing
> doxygen, texlive for pdflatex and graphviz for dot, I am still running into
> installation failures for the documentation. These currently appear as...
>
> Writing index file refman.idx
> No file refman.aux.
> (/sw/share/texmf-dist/tex/latex/base/ts1cmr.fd)
> (/sw/share/texmf-dist/tex/latex/psnfss/t1ptm.fd)
> (/sw/share/texmf-dist/tex/context/base/supp-pdf.mkii
> [Loading MPS to PDF converter (version 2006.09.02).]
> ) (/sw/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
> (/sw/share/texmf-dist/tex/latex/oberdiek/grfext.sty)
> (/sw/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
> (/sw/share/texmf-dist/tex/latex/graphics/color.sty
> (/sw/share/texmf-dist/tex/latex/latexconfig/color.cfg))
> (/sw/share/texmf-dist/tex/latex/hyperref/nameref.sty
> (/sw/share/texmf-dist/tex/latex/oberdiek/refcount.sty)
> (/sw/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
> (/sw/share/texmf-dist/tex/latex/amsfonts/umsa.fd)
> (/sw/share/texmf-dist/tex/latex/amsfonts/umsb.fd)
> (/sw/share/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) [1{/sw/var/lib/texmf/fonts/
> map/pdftex/updmap/pdftex.map}] (/sw/share/texmf-dist/tex/latex/psnfss/ts1ptm.fd
> ) (/sw/share/texmf-dist/tex/latex/psnfss/t1pcr.fd) (./main.texpdfTeX warning (e
> xt4): destination with the same identifier (name{page.1}) has been already used
> , duplicate ignored
> <to be read again>
>                     \relax
> l.17 ...ry.Parma\_\-Polyhedra\_\-Library}};\item S
>                                                    tarting from version 0.11,...
> [1]
> Underfull \hbox (badness 1337) in paragraph at lines 26--26
> []\T1/ptm/m/n/10 boxes which con-sist of Int8_-Box, Int16_-Box, Int32_-Box, Int
> 64_-Box, Uint8_-Box,

Hmmm... this is very strange.  I would like to reproduce the issue:
which version of Doxygen are you using?

> ) (/sw/src/fink.build/ppl9-0.11.1-0/ppl-0.11.1/build/../doc/GPL.tex
>
> ! LaTeX Error: Can be used only in preamble.
>
> See the LaTeX manual or LaTeX Companion for explanation.
> Type  H<return>   for immediate help.
>   ...
>
> l.1 \documentclass
>                    [a4paper,12pt]{article}
> ?

This is even stranger: the file name should be `gpl.tex', not `GPL.tex'
Can you please double check in the `doc' subdirectory?
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara                     CEO & CTO
Applied Formal Methods Laboratory         BUGSENG srl
Department of Mathematics                 Parco Area delle Scienze 53/A
University of Parma, Italy                I-43124 Parma, Italy
http://www.cs.unipr.it/~bagnara/          http://bugseng.com/
mailto:bagnara at cs.unipr.it                mailto:roberto.bagnara at bugseng.com