On Mon, Apr 8, 2019 at 8:57 AM Jerry James loganjerry@gmail.com wrote:
So clisp has been built for all architectures in Rawhide now. I cannot build it for F30 yet, because the version of gcc with the s390x fix has not yet been submitted as an update. Regardless, can somebody who knows how to build xindy try it in Rawhide and let me know if there are problems doing so? Or give me instructions on how to build it myself? Thanks,
Somebody out there has been involved with past attempts to build xindy. Please, I would like to make progress on this so I can get back to building the coq stack's new versions. Which package used to contain xindy? How does one attempt to build it? I would like to see if there are still build issues with the new clisp.
Thank you,