Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
Summary: coq fails to build for ppc64 in both opt and non-opt versions https://bugzilla.redhat.com/show_bug.cgi?id=515813 Summary: coq fails to build for ppc64 in both opt and non-opt versions Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: coq AssignedTo: [email protected] ReportedBy: [email protected] QAContact: [email protected] CC: [email protected], [email protected] Blocks: 238953 Classification: Fedora Description of problem: In build, 8.2 gives error pthread_atfork undefined for bytecode only version http://koji.fedoraproject.org/koji/getfile?taskID=1583843&name=build.log and out of memory error for opt version http://koji.fedoraproject.org/koji/getfile?taskID=1584652&name=build.log Version-Release number of selected component (if applicable): >= 8.2 (including upcoming 8.2pl1) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-ocaml-list mailing list [email protected] https://www.redhat.com/mailman/listinfo/fedora-ocaml-list
