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