Bug 1120273

Summary: ocaml-cil-1.7.3-6.fc22 FTBFS: cilly.native does not halt
Product: [Fedora] Fedora Reporter: Petr Pisar <ppisar>
Component: ocaml-cilAssignee: Richard W.M. Jones <rjones>
Status: CLOSED RAWHIDE QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: fedora-ocaml-list, gabriel, rjones
Target Milestone: ---   
Target Release: ---   
Hardware: x86_64   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2014-07-21 12:15:48 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Attachments:
Description Flags
Patch to fix unsafe use of Obj.magic none

Description Petr Pisar 2014-07-16 15:24:17 UTC 
ocaml-cil-1.7.3-6.fc22 fails to build on x86_64 for me because it never finishes. It busy-cycles in cilly.native command. I had to kill a mock job after 15 hours. Provided the koji build takes 12 minutes normally, something is wrong in the compiler probably. Here <http://koji.fedoraproject.org/koji/taskinfo?taskID=7151385> you can see a scratch build.
Comment 1 Gabriel Kerneis 2014-07-16 15:34:10 UTC 
Created attachment 918456 [details]
Patch to fix unsafe use of Obj.magic

Thanks for the report. This is a known bug fixed upstream, but I did not realize it was the cause for the current failure. Patch attached.
Comment 2 Richard W.M. Jones 2014-07-21 12:15:48 UTC 
Thanks for the patch.  I have added this to the CIL package
in Fedora and will push & build it shortly.