Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 367719 - dev-libs/gmp-5.0.1 fix for FreeMiNT
Summary: dev-libs/gmp-5.0.1 fix for FreeMiNT
Status: RESOLVED FIXED
Alias: None
Product: Gentoo/Alt
Classification: Unclassified
Component: Prefix Support (show other bugs)
Hardware: All FreeMiNT
: Normal normal (vote)
Assignee: Gentoo Prefix
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-05-17 15:06 UTC by Alan Hourihane
Modified: 2011-05-19 19:26 UTC (History)
0 users

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Alan Hourihane 2011-05-17 15:06:28 UTC 
Due to a bug in the optimizer for m68k I need to disable optimization for dev-libs/gmp with the following in src_compile, somewhere before econf....

        if [[ ${CHOST} == *mint* ]]; then
                filter-flags -O?
        fi

Thanks.
Comment 1 Fabian Groffen gentoo-dev 2011-05-19 19:26:57 UTC 
applied to 5.0.2, thanks