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

[bugzilla at redhat.com]

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: amdunn at gmail.com
        ReportedBy: amdunn at gmail.com
         QAContact: extras-qa at fedoraproject.org
                CC: amdunn at gmail.com, fedora-ocaml-list at redhat.com
            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.