> "JJ" == Jerry James writes:
JJ> Somebody out there has been involved with past attempts to build
JJ> xindy. Please, I would like to make progress on this so I can get
JJ> back to building the coq stack's new versions. Which package used
JJ> to contain xindy?
It is/was part of texlive-bas
On Thu, Apr 11, 2019 at 9:04 PM Jerry James wrote:
>
> On Mon, Apr 8, 2019 at 8:57 AM Jerry James 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.
On Mon, Apr 8, 2019 at 8:57 AM Jerry James 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
On Tue, Apr 9, 2019 at 11:47 PM Dridi Boukelmoune
wrote:
> No, for that you should bind port zero instead to get a random one in
> a race-free manner (e.g. parallel execution of multiple tests for
> example).
Ah, thanks. I didn't know about the port zero trick. I'll suggest
that to upstream.
--
On Mon, Apr 8, 2019 at 4:58 PM Jerry James wrote:
>
> On Mon, Apr 1, 2019 at 9:36 PM Jerry James wrote:
> > That was, in fact, an s390x-specific gcc bug, now fixed in Rawhide.
> > Sadly, the clisp build is still failing in Rawhide, with failures in
> > the socket tests:
>
> The failing test attem
On Mon, Apr 08, 2019 at 08:57:22AM -0600, Jerry James wrote:
> On Mon, Apr 1, 2019 at 9:36 PM Jerry James wrote:
> > That was, in fact, an s390x-specific gcc bug, now fixed in Rawhide.
> > Sadly, the clisp build is still failing in Rawhide, with failures in
> > the socket tests:
>
> The failing t
On Mon, Apr 1, 2019 at 9:36 PM Jerry James wrote:
> That was, in fact, an s390x-specific gcc bug, now fixed in Rawhide.
> Sadly, the clisp build is still failing in Rawhide, with failures in
> the socket tests:
The failing test attempts to bind to localhost:9090. Apparently
something on the s390
On Sun, Mar 17, 2019 at 9:54 PM Jerry James wrote:
> This appears to be caused by the clisp code incorrectly pairing
> register and volatile. Still, I find gcc's behavior surprising, which
> is why I filed https://bugzilla.redhat.com/show_bug.cgi?id=1689769.
> That may very well be closed as NOTA
On Fri, Mar 15, 2019 at 12:48 AM Miro Hrončok wrote:
> Well I meant TeX docs with Sphinx.
> But obviously even that could be wrong, that's why I've used the words "think"
> and "much".
Ah, sorry for the misread. No, I think you are correct. Sphinx seems
to be used mostly to build HTML documenta
On Thu, Mar 14, 2019 at 8:49 PM Jerry James wrote:
> The clisp issue with s390x has been on my TODO list for a long time.
> I've been using most of my Fedora time to hunt down bugs that keep
> other packages from building at all. I seem to be reaching the end of
> that, at last, so I'll try to fi
On 15. 03. 19 3:51, Jerry James wrote:
On Thu, Mar 14, 2019 at 9:48 AM Miro Hrončok wrote:
I don't think that we build much TeX documentation in our packages.
I think you mean that the packages you maintain don't build much TeX
documentation. :-) I tend a LOT of packages that use (La)TeX, ei
On Thu, Mar 14, 2019 at 9:48 AM Miro Hrončok wrote:
> I don't think that we build much TeX documentation in our packages.
I think you mean that the packages you maintain don't build much TeX
documentation. :-) I tend a LOT of packages that use (La)TeX, either
directly or indirectly. I've got tw
On Thu, Mar 14, 2019 at 9:18 AM Jason L Tibbitts III wrote:
> Since xindy isn't really something that can be relied upon, is it
> possible (or reasonable) to do this globally in our sphinx packages?
> Even when it was enabled, it was architecture-limited which would
> force that limitation to prop
On Thu, Mar 14, 2019 at 4:13 AM Miro Hrončok wrote:
> There should be a configuration option that disbales xindly. Does the
> documentation build with it?
>
> latex_use_xindy = False # put it in doc/conf.py or similar
I've got to figure out where to put that option. Coq has its own
documen
On 14. 03. 19 16:17, Jason L Tibbitts III wrote:
"MH" == Miro Hrončok writes:
MH> There should be a configuration option that disbales xindly. Does
MH> the documentation build with it?
Since xindy isn't really something that can be relied upon, is it
possible (or reasonable) to do this global
> "MH" == Miro Hrončok writes:
MH> There should be a configuration option that disbales xindly. Does
MH> the documentation build with it?
Since xindy isn't really something that can be relied upon, is it
possible (or reasonable) to do this globally in our sphinx packages?
Even when it was en
On 13. 03. 19 17:20, Jerry James wrote:
I have been working on an update for coq 8.9.0 in Rawhide. A mock
build fails when building the documentation:
Latexmk: applying rule 'makeindex CoqRefMan.idx'...
Running 'internal xindy -L english -C utf8 -M sphinx.xdy -o
"CoqRefMan.ind" "
17 matches
Mail list logo
