Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 413939 - dev-libs/gmp-5.0.4 fails to build on ABI=x32
Summary: dev-libs/gmp-5.0.4 fails to build on ABI=x32
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Toolchain Maintainers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: x32
  Show dependency tree
 
Reported: 2012-04-29 04:29 UTC by Tim Harder
Modified: 2012-06-09 06:59 UTC (History)
0 users

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

Attachments
add x32 support (gmp-5.0.4-x32-support.patch,923 bytes, patch)
2012-04-29 04:29 UTC, Tim Harder 		Details | Diff
View All 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 Tim Harder gentoo-dev 2012-04-29 04:29:37 UTC 
Created attachment 310391 [details, diff]
add x32 support

The configure process fails early on:

...
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether to enable maintainer-specific portions of Makefiles... no
configure.wrapped: error: ABI=x32 is not among the following valid choices: 64 32


The attached patch updates the older patch for configure allowing gmp-5.0.4 to build. Note that gmp-5.0.3 fails in a similar fashion for x32.