On Mon, Sep 27, 2021 at 08:54:28AM +0100, Richard W.M. Jones wrote:
On Fri, Sep 24, 2021 at 01:41:11PM -0600, Jerry James wrote:
> Are you going to try building the coq stack on s390x? If so,
> ExcludeArch tags will need to be removed from:
> - coq
> - flocq
> - frama-c
> - gappalib-coq
> - why3
> - zenon
That's a good question - do we have any reason to believe the compiler
bug is fixed, or do you want me to try it and see?
I've removed the ExcludeArch: s390x from all of these packages now.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW