[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

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



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


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]