Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 318845 - dev-libs/ppl-0.10.2-r1 fails at configuration stage when dev-libs/gmp-5.0.1 is installed while searching for the dev-libs/gmp-4* equivalent
Summary: dev-libs/ppl-0.10.2-r1 fails at configuration stage when dev-libs/gmp-5.0.1 i...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Ryan Hill (RETIRED)
URL: https://www.cs.unipr.it/mantis/view.p...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-05-07 10:34 UTC by Matt
Modified: 2010-05-30 19:58 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Matt 2010-05-07 10:34:47 UTC
checking for ld used by GCC... /usr/x86_64-pc-linux-gnu/bin/ld
checking if the linker (/usr/x86_64-pc-linux-gnu/bin/ld) is GNU ld... yes
checking for shared library run path origin... done
checking how to link with libgmp... /usr/lib64/libgmp.so -Wl,-rpath -Wl,/usr/lib64
checking how to link with libgmpxx... /usr/lib64/libgmpxx.so /usr/lib64/libgmp.so -Wl,-rpath -Wl,/usr/lib64 -Wl,-rpath -Wl,/usr/lib64
checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.

!!! Please attach the following file when seeking support:
!!! /var/tmp/portage/dev-libs/ppl-0.10.2-r1/work/ppl-0.10.2/config.log
 [31;01m*[0m ERROR: dev-libs/ppl-0.10.2-r1 failed:
 [31;01m*[0m   econf failed
 [31;01m*[0m 
 [31;01m*[0m Call stack:
 [31;01m*[0m     ebuild.sh, line   48:  Called src_configure
 [31;01m*[0m   environment, line 2381:  Called econf '--docdir=/usr/share/doc/ppl-0.10.2-r1' '--disable-debugging' '--disable-optimization' '--disable-pch' '--disable-watchdog' '--enable-interfaces=c cxx'
 [31;01m*[0m     ebuild.sh, line  538:  Called die
 [31;01m*[0m The specific snippet of code:
 [31;01m*[0m   			die "econf failed"
 [31;01m*[0m 
 [31;01m*[0m If you need support, post the output of 'emerge --info =dev-libs/ppl-0.10.2-r1',
 [31;01m*[0m the complete build log and the output of 'emerge -pqv =dev-libs/ppl-0.10.2-r1'.
 [31;01m*[0m The complete build log is located at '/var/log/portage/dev-libs:ppl-0.10.2-r1:20100507-095639.log'.
 [31;01m*[0m The ebuild environment file is located at '/var/tmp/portage/dev-libs/ppl-0.10.2-r1/temp/environment'.
 [31;01m*[0m S: '/var/tmp/portage/dev-libs/ppl-0.10.2-r1/work/ppl-0.10.2'

seems like the scripts need a kind of fix to know about a newer version
Comment 1 Lars Wendler (Polynomial-C) (RETIRED) gentoo-dev 2010-05-07 13:33:54 UTC
Already fixed in upstream's git repository (see URL). The fix should be available with the next version of ppl.
Comment 2 Matt 2010-05-07 13:48:35 UTC
yeah, that's in a few months ;)

any plans to include the fix for dev-libs/ppl-0.10.2 provided at:

http://www.cs.unipr.it/pipermail/ppl-devel/2010-January/015873.html ?
Comment 3 Matt 2010-05-07 13:50:03 UTC
well, there seems to be another issue:

http://www.cs.unipr.it/pipermail/ppl-devel/2010-January/015874.html

>_GMP_BITS_PER_MP_LIMB is used in  configure  of PPL0.10.2 but this
>does not exist in GMP5.0.0.

>I used a kludge to force  configure  to accept it and  make check
>seemed to report passes for all tests.

I have no clue what that means :(
Comment 4 Ryan Hill (RETIRED) gentoo-dev 2010-05-08 02:25:00 UTC
I believe PPL 0.11 is due to be released tomorrow.
Comment 5 Ryan Hill (RETIRED) gentoo-dev 2010-05-15 08:28:14 UTC
so much for that idea. :P  i'll add the patch when i get a minute.
Comment 6 Ryan Hill (RETIRED) gentoo-dev 2010-05-29 05:52:30 UTC
Fixed.
Comment 7 Matt 2010-05-30 10:13:10 UTC
Thank you very much for your help Ryan ! :)

I'm currently in the process of recompiling world with gcc 4.5, dev-libs/gmp-5.0.1 and the fixed dev-libs/ppl so far everything went smoothly 
Comment 8 Matt 2010-05-30 10:24:18 UTC
since it's in the portage tree I suppose filing bugs against gmp 5.0.1 and dev-libs/ppl without patches would be fine ?

(afaik it's still masked so please don't beat XD)

an already known bug-report would be e.g. http://bugs.php.net/bug.php?id=50990&edit=1

thanks !
Comment 9 Ryan Hill (RETIRED) gentoo-dev 2010-05-30 19:58:22 UTC
Please do, so we know what needs to be fixed before we unmask it.