[PPL-devel] Parma Polyhedra Library 0.11.1

[David Fang]

Great, thanks for providing these!

Fang

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

David Fang
http://www.csl.cornell.edu/~fang/
http://www.achronix.com/