This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PPL-devel] Parma Polyhedra Library 0.11.1

On 02/22/2011 03:00 AM, Jack Howarth wrote:
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?


Hi Jack.  You are right: this is indeed the problem.  I have uploaded
the missing files to the PPL 0.11 release directory.
Please let us know if you have further problems.
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

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]