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

Comment by josephgbr

2011-05-18 11:19

Adopted and building from source.

Comment by Gnurou

2010-10-25 02:24

Updated and should work as you expect.

Comment by dront78

2010-10-22 15:21

please make /usr/lib32 version instead of opt like in a lib32-mpfr

this package is strongly required for me for android source repo gcc 4.4.0 build

Comment by dront78

2010-10-22 14:34

thanx. android repo works now as expected

Comment by Gnurou

2010-10-07 01:41

AFAIK the build should work despite of the link appearing broken on AUR, but anyway now that Arch supports 32-bit ABI build, the package should be built directly from source. I'll try to fix that soon.

Anonymous comment

2010-10-06 21:05

The source link seems to be broken.