Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1874879 - coq ExcludeArch s390x
Summary: coq ExcludeArch s390x
Keywords:
Status: NEW
Alias: None
Product: Fedora
Classification: Fedora
Component: coq
Version: 34
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Alan Dunn
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F-ExcludeArch-s390x
TreeView+ depends on / blocked
 
Reported: 2020-09-02 13:41 UTC by Richard W.M. Jones
Modified: 2021-06-18 07:18 UTC (History)
3 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed:
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Richard W.M. Jones 2020-09-02 13:41:19 UTC 
Description of problem:

I added ExcludeArch: s390x to the coq spec file for a couple of
reasons:

(1) The tests fail, filed upstream as:
https://github.com/coq/coq/issues/12967
https://github.com/coq/coq/issues/11395

(2) After I disabled the tests, coqtop fails with an out of
memory error.

Version-Release number of selected component (if applicable):

coq 8.12.0
(Appeared to work OK in earlier versions)

How reproducible:

100%

Steps to Reproduce:
1. Simply build in Koji.
Comment 1 Richard W.M. Jones 2020-09-02 13:43:26 UTC 
I'm going to have to do this for a few packages that depend on Coq too.
Comment 2 Ben Cotton 2021-02-09 15:17:37 UTC 
This bug appears to have been reported against 'rawhide' during the Fedora 34 development cycle.
Changing version to 34.
Note You need to log in before you can comment on or make changes to this bug.