Red Hat Bugzilla – Bug 156238
ocaml - FC4 rebuild failed
Last modified: 2007-11-30 17:11:05 EST
This package failed to rebuild for FC4 Development around 2005-04-11 after an
automated release bump.
Build failure logs at: http://fedoraproject.org/extras/development/build-logs/
gcc bug. Posted:
Looking into the workaround posted there.
Created attachment 114218 [details]
Workaround gcc asm constraints bug
This seems to work. Compiled in development mach and tested that it produces
correct output when used with a simple big number application. (Changed the
example in the README from factorial to a sumnorial/"subnorial" and ran it.)
1) Figured out that gcc-3.4 was able to generate proper assembly for this but
gcc-4 was not.
2) Found that gcc-4.0 is apparently not properly trying to use memory where it
can when it runs out of registers.
3) Examined the gcc-3.4 code for the variables it assigned to memory rather than
4) Began changing the constraints for those variables from reg-or-memory to
memory until we had enough free registers to compile the asm template.
With this patch and the one referenced in Bug #154708 ocaml compiles, and runs.
It compiles lablgtk and unison without with some minor work done to update
lablgtk (and no work done on unison.) unison is running without issues thus far
on both i386 and x86_64.
I'm going to go ahead and commit changes and request a build.
Ocaml 3.08-5 has been built. I'm going to go work on the lablgtk bug and then
kick off a unison build. This bug can most likely be closed and if there are
issues with ocaml, a new bug opened.
FYI: I didn't submit this patch upstream as it seemed to be due to a gcc4 bug.
They may be interested in it anyway (The referenced gcc4 bug is about compiling
ocaml). Go ahead and contact upstream if you feel they'd be interested.
Yes, primary focus is on making the packages build for FC4. If it appears to
fail at run-time somewhere later, that would be a new bug.