Updated to 0.12-1
Also, problem solved ith gcc-multilib 4.6.3-1.
Search Criteria
Package Details: lib32-ppl 1.0-1
Package Actions
- View PKGBUILD
- Download tarball
- Search wiki
- Flagged out-of-date (2014-12-12)
| 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: | |
| Submitter: | Gnurou |
| Maintainer: | None |
| Last Packager: | None |
| Votes: | 3 |
| First Submitted: | 2010-05-03 00:44 |
| Last Updated: | 2012-07-03 13:29 |
Required by (1)
Sources
Latest Comments
Comment by josephgbr
Comment by josephgbr
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
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
@randomize46: what is the output of 'yaourt -Qs gcc-multilib' and 'yaourt -Qs libtool-multilib' for you?
Comment by randomize46
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
Problem solved.
Comment by josephgbr
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
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
@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
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
Adopted and building from source.
Comment by Gnurou
Updated and should work as you expect.
Comment by dront78
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
thanx. android repo works now as expected
Comment by Gnurou
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
The source link seems to be broken.