[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: extraclean and admin/grammars [was Re: Git master head build failure
From: |
Eli Zaretskii |
Subject: |
Re: extraclean and admin/grammars [was Re: Git master head build failure?] |
Date: |
Tue, 13 Apr 2021 14:51:24 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Date: Mon, 12 Apr 2021 22:20:14 -0400
> Cc: rgm@gnu.org, theophilusx@gmail.com, emacs-devel@gnu.org
>
> > Assuming you tested that during bootstrap (which you say you never
> > do), and assuming there's no better way of breaking the circular
> > dependency, I'm okay with the change.
>
> There might be a better way (I think providing an ELisp syntax for the
> wisent source files could be such a thing), but as long as we can't find
> anyone motivated enough to tackle that, it seems like the better way, yes.
>
> > We should also make sure grm-wy-boot.el is updated in Git whenever
> > grammar.wy changes.
>
> Done, thanks.
After updating from upstream, I see that cedet/semantic/grm-wy-boot.el
is byte-compiled by the build process. Should it be?
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], (continued)
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Tim Cross, 2021/04/03
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Lars Ingebrigtsen, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/03
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/12
- Re: extraclean and admin/grammars [was Re: Git master head build failure?],
Eli Zaretskii <=
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Glenn Morris, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/04
Re: Git master head build failure?, Eli Zaretskii, 2021/04/01