[PPL-devel] Parma Polyhedra Library 0.11.1

[Jack Howarth]

On Mon, Feb 21, 2011 at 12:10:03PM +0100, Roberto Bagnara wrote:
> 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.

Roberto,
   The problems seems to stem from the absence of pre-generated files for...

ppl-user-java-interface-0.11.1-html.tar.gz
ppl-user-java-interface-0.11.1.pdf
ppl-user-java-interface-0.11.1.ps.gz

in the doc directory of the source tarball. The fink ppl9 package builds
using --with-java="$JAVA_HOME" so that those missing files are autogenerated
by make install. Can you post a new tarball with those missing files added?
            Jack
ps Those missing files are present in the ppl-0.11 tarball.

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