Package Details: lib32-ppl 1.0-1

Package Base: lib32-ppl
Description: A modern library for convex polyhedra and other numerical abstractions. (32 bit)
Upstream URL: http://bugseng.com/products/ppl
Category: lib
Licenses: GPL3
Submitter: Gnurou
Maintainer: None
Last Packager: None
Votes: 3
First Submitted: 2010-05-03 00:44
Last Updated: 2012-07-03 13:29

Latest Comments

Comment by josephgbr

2012-03-04 18:53

Updated to 0.12-1

Also, problem solved ith gcc-multilib 4.6.3-1.

Comment by josephgbr

2012-03-04 17:34

This version of gcc was compiled against ppl 0.11 which provides 'libppl.so.9'. Now we have installed ppl 0.12, which provides 'libppl.so.10'. That's why gcc is failing at the momment.
This issue will probably be fixed in gcc-multilib 4.6.3-1. Let's wait.

Comment by randomize46

2012-03-04 16:22

multilib/gcc-multilib 4.6.2-7 (multilib-devel)
The GNU Compiler Collection - C and C++ frontends for multilib

multilib/libtool-multilib 2.4.2-3 (multilib-devel)
A generic library support script for multilib

Comment by josephgbr

2012-03-04 16:19

@randomize46: what is the output of 'yaourt -Qs gcc-multilib' and 'yaourt -Qs libtool-multilib' for you?

Comment by randomize46

2012-03-04 15:46

Trying to build this on x86_64 Archy, got the following error:
checking for gcc... gcc -m32
checking whether the C compiler works... no
configure: error: in `/tmp/yaourt-tmp-randy/aur-lib32-ppl/src/ppl-0.11.2':
configure: error: C compiler cannot create executables
See `config.log' for more details.
==> ERROR: Makepkg was unable to build lib32-ppl.
==> Restart building lib32-ppl ? [y/N]

Comment by josephgbr

2011-11-28 19:34

Problem solved.

Comment by josephgbr

2011-11-07 23:47

I'm aware. The current maintainer of lib32-gmp made changes that broke lib32-ppl build. I'll see what I can do to pass by this issue.

Anonymous comment

2011-11-07 17:54

Hello josephgbr, I downloaded the latest lib32-gmp from the multilib and it is version 5.0.2-4. makepkg fails because "checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher."

Comment by josephgbr

2011-10-10 10:40

@rp9: Thanks for letting me know. Fixed. By the way, flag out-of-date should be used when there is a new release, not when the url is broken. ;)

Comment by rp9

2011-10-10 06:11

The source download is broken for a few days now for me, seems the moved the archvie to a new location:
http://bugseng.com/products/ppl/download/ftp/releases/0.11.2/ppl-0.11.2.tar.gz

All comments