[Bug 515813] New: coq fails to build for ppc64 in both opt and non-opt versions

[Red Hat Bugzilla]

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: [e-mail]
        ReportedBy: [e-mail]
         QAContact: [e-mail]
                CC: [e-mail], [e-mail]
            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)