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@cs.unipr.it mailto:roberto.bagnara@bugseng.com