This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Parma Polyhedra Library 0.11.1
- From: Roberto Bagnara <bagnara at cs dot unipr dot it>
- To: Jack Howarth <howarth at bromo dot med dot uc dot edu>
- Cc: gcc-graphite <gcc-graphite at googlegroups dot com>, GCC Mailing List <gcc at gcc dot gnu dot org>, The Parma Polyhedra Library developers' list <ppl-devel at cs dot unipr dot it>
- Date: Mon, 21 Feb 2011 12:10:03 +0100
- Subject: Re: Parma Polyhedra Library 0.11.1
- References: <4D61502E.10903@cs.unipr.it> <20110221034214.GA6629@bromo.med.uc.edu>
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@cs.unipr.it mailto:roberto.bagnara@bugseng.com