[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)

[Bug 515813] 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.

https://bugzilla.redhat.com/show_bug.cgi?id=515813

--- Comment #2 from Bug Zapper  2010-11-04 06:35:27 EDT ---

This message is a reminder that Fedora 12 is nearing its end of life.
Approximately 30 (thirty) days from now Fedora will stop maintaining
and issuing updates for Fedora 12.  It is Fedora's policy to close all
bug reports from releases that are no longer maintained.  At that time
this bug will be closed as WONTFIX if it remains open with a Fedora 
'version' of '12'.

Package Maintainer: If you wish for this bug to remain open because you
plan to fix it in a currently maintained version, simply change the 'version' 
to a later Fedora version prior to Fedora 12's end of life.

Bug Reporter: Thank you for reporting this issue and we are sorry that 
we may not be able to fix it before Fedora 12 is end of life.  If you 
would still like to see this bug fixed and are able to reproduce it 
against a later version of Fedora please change the 'version' of this 
bug to the applicable version.  If you are unable to change the version, 
please add a comment here and someone will do it for you.

Although we aim to fix as many bugs as possible during every release's 
lifetime, sometimes those efforts are overtaken by events.  Often a 
more recent Fedora release includes newer upstream software that fixes 
bugs or makes them obsolete.

The process we are following is described here: 
http://fedoraproject.org/wiki/BugZappers/HouseKeeping

[Bug 515813] 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.

https://bugzilla.redhat.com/show_bug.cgi?id=515813

Bug Zapper  changed:

What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |CLOSED
         Resolution|                            |WONTFIX
               Flag|needinfo?([e-mail]) |
        Last Closed|                            |2010-12-05 01:38:50

--- Comment #3 from Bug Zapper  2010-12-05 01:38:50 EST ---

Fedora 12 changed to end-of-life (EOL) status on 2010-12-02. Fedora 12 is 
no longer maintained, which means that it will not receive any further 
security or bug fix updates. As a result we are closing this bug.

If you can reproduce this bug against a currently maintained version of 
Fedora please feel free to reopen this bug against that version.

Thank you for reporting this bug and we are sorry it could not be fixed.