Summary: | dev-libs/ppl-0.12.1 - In file included from checked.defs.hh:30:0, from checked.cc:25: mp_std_bits.defs.hh:47:7: error: redefinition of ‘class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >’ | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Kim Seongcheol <kseongcheol> |
Component: | Current packages | Assignee: | Gentoo Toolchain Maintainers <toolchain> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | cj.wijtmans, gentoobugs, ghartshaw, hwoarang, jason.mours, kdvgent, kkrizka, lists, mail, marek.bartosiewicz, Martin.vGagern, navid.zamani, pelle, sh0, steven, SuloevDmitry, thanasis, Toaster-Two, transacid, v_2e |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
build.log.gz
environment.gz diff file patch for being able to compile with =gmp-5.1.0 and <=gmp-5.0.5 patched ebuild Fixed patch. Upstream based patch |
Description
Kim Seongcheol
2012-12-20 09:53:47 UTC
Created attachment 332776 [details]
environment.gz
*** Bug 447972 has been marked as a duplicate of this bug. *** Created attachment 333034 [details]
diff file
I'm not a programmer. So I'm not sure if this is a right way to fix the problem. But it works.
(In reply to comment #3) > I'm not a programmer. So I'm not sure if this is a right way to fix the > problem. But it works. The patch really helps. Thank you. (In reply to comment #4) > (In reply to comment #3) > > I'm not a programmer. So I'm not sure if this is a right way to fix the > > problem. But it works. > > The patch really helps. Thank you. Hi everybody! I'm trying to apply the diff file but I can't...I think I'm using the wrong way to do it. Can someone give me the syntax please? Thank's ;) (In reply to comment #5) > (In reply to comment #4) > > (In reply to comment #3) > > > I'm not a programmer. So I'm not sure if this is a right way to fix the > > > problem. But it works. > > > > The patch really helps. Thank you. > > Hi everybody! > > I'm trying to apply the diff file but I can't...I think I'm using the wrong > way to do it. > > Can someone give me the syntax please? > > Thank's ;) Done thank's ;) *** Bug 448358 has been marked as a duplicate of this bug. *** my laptop compiled this package without any error, but one of my virtualizes servers confirms exactly the described problem. i really dont know what could be the difference. I can confirm that I also suffer from this bug. I confirm that the patch works. Created attachment 333382 [details, diff]
patch for being able to compile with =gmp-5.1.0 and <=gmp-5.0.5
Created attachment 333384 [details, diff]
patched ebuild
The problem apparently is with gmp-5.0.5 which does not define numeric_limits<mpz_class> and numeric_limits<mpq_class> where gmp-5.1.0 does define these symbols. My two patches (source code patch, and ebuild patch) solve the problem for me... I confirm that the patch works. Andreas' patch works flawlessly, and seems like it's the least intrusive solution. Cheers! Masked gmp-5.1.0 should work. (In reply to comment #16) > Masked gmp-5.1.0 should work. I have dev-libs/gmp-5.1.0 installed, but run into this error as well. *** Bug 448782 has been marked as a duplicate of this bug. *** (In reply to comment #17) > (In reply to comment #16) > > Masked gmp-5.1.0 should work. > > I have dev-libs/gmp-5.1.0 installed, but run into this error as well. Same here Created attachment 333652 [details, diff]
Fixed patch.
Confirm, fixed patch helps. Created attachment 333770 [details, diff] Upstream based patch The same bug was fixed upstream for ppl 1.1/git (see http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f843aecc23981aec6ed1eaa8be06e6786a47f0d). The patch provided there is slightly different, as it removes all occurrences of std::numeric_limits. The patch appended is based on the upstream patch (filename changes) and works with ppl-0.12.1, ppl-0.12, ppl-0.11.2-r1 (on funtoo though). Kind regards Johannes This issue affects not only the build-time behaviour of ppl, but also builds of other applications which use ppl. Sage in my case. So in the long run, there should be a revbump including a proper fix (comment #22 looks good to me), and a block between old (i.e. pre-revbump) ppl and recent (i.e. >=5.1) gmp, so that when gmp 5.1 gets stabilized, users of the stable branch won't encounter any weird issues. (In reply to comment #19) > (In reply to comment #17) > > (In reply to comment #16) > > > Masked gmp-5.1.0 should work. > > > > I have dev-libs/gmp-5.1.0 installed, but run into this error as well. > > Same here I meant masking dev-libs/gmp-5.1.0 should prevent this error from happening, it is a temporary fix untill the bug is truly fixed. Ran into the same issue. I confirm that attachment from comment #22 solved it. + 08 Jan 2013; Patrick Lauer <patrick@gentoo.org> + +files/ppl-fix-gmp-5.1.0.patch, +ppl-0.12.1-r1.ebuild: + Adding patch to make things work with gmp-5.1, #447928 + (In reply to comment #26) > + 08 Jan 2013; Patrick Lauer <patrick@gentoo.org> > + +files/ppl-fix-gmp-5.1.0.patch, +ppl-0.12.1-r1.ebuild: > + Adding patch to make things work with gmp-5.1, #447928 > + Typo: --- ppl-1.0.ebuild +++ ppl-1.0.ebuild @@ -30,7 +30,7 @@ pkg_setup() { } src_prepare() { - epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || dir "Failed to patch" + epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || die "Failed to patch" } src_configure() { (In reply to comment #27) > Typo: > --- ppl-1.0.ebuild > +++ ppl-1.0.ebuild > @@ -30,7 +30,7 @@ pkg_setup() { > } > > src_prepare() { > - epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || dir "Failed to patch" > + epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || die "Failed to patch" > } > > src_configure() { Fixed. Thanks! *** Bug 459874 has been marked as a duplicate of this bug. *** |