Arch Linux

Please read this before reporting a bug:

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

FS#23917 - [ocaml][patch attached] ocamlopt for amd64 fails with binutils 2.21

Attached to Project: Arch Linux
Opened by Thomas Dziedzic (tomd123) - Sunday, 24 April 2011, 16:42 GMT
Last edited by Jan de Groot (JGC) - Monday, 09 May 2011, 09:31 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Tobias Powalowski (tpowa)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 2
Private No


I was rebuilding coq for a version bump when I encountered the error described here:
It seems that upstream has already patched this and the patch will be included in 3.12.1 but there is no release date for it.
I have attached a the relevant patch along with a diff of the ocaml PKGBUILD which applies it successfully and when I rebuilt coq using the patched ocaml, it worked.

Additional info:
* package version(s)
ocaml 3.12.0
* config and/or log files etc.
coq 8.3pl2 build log:
file producing error:
This task depends upon

Closed by  Jan de Groot (JGC)
Monday, 09 May 2011, 09:31 GMT
Reason for closing:  Fixed
Additional comments about closing:  Will be fixed in 3.12.0-2 (about to commit but found other bugs).
Comment by Pierre Bourdon (delroth) - Saturday, 07 May 2011, 15:14 GMT
It is currently impossible to compile most OCaml projects in native mode because of this bug. Debian Sid already included this patch in their binary package so it should be safe to do the same IMHO.
Comment by Nicolas Hureau (kalenz) - Saturday, 07 May 2011, 23:46 GMT
I encountered the same problem while trying to build menhir, so I created an AUR package with patch applied (ocaml-patched-binutils). It should be deleted as soon as the patch is applied to extra/ocaml.