[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bison 3.7 released [stable]
From: |
Akim Demaille |
Subject: |
Re: Bison 3.7 released [stable] |
Date: |
Sun, 26 Jul 2020 09:02:19 +0200 |
Hi Frank,
> Le 24 juil. 2020 à 22:58, Frank Heckenbach <f.heckenbach@fh-soft.de> a écrit :
>
> Akim Demaille wrote:
>
>>> - The umask problem with installed directories (last time I said
>>> it's about $prefix/share/bison, but it's actually all installed
>>> directories including $prefix/bin etc. if they're newly created --
>>> I hadn't noticed since they existed before on my system). But now
>>> I've read something about it and it seems to be a known, wontfix,
>>> problem.
>>
>> I don't remember about that.
>
> https://lists.gnu.org/archive/html/bug-bison/2020-05/msg00085.html
Oh yeah, thanks.
>> I could use a pointer to this "wonfix"
>> if you still have it at hand.
>
> https://lists.gnu.org/archive/html/automake/2019-01/msg00000.html
Hey, I know personally Antoine. I didn't know if was in this area
too.
> (1½ years ago, not even a reply)
Well, the problem is mostly that there are no active maintainers on
the Autotools. So it is not that the comment is disregarded, it's
just that there's no-one on the other end.
And fortunately, this is changing: Zack Weinberg is currently wrapping
the next release of Autoconf, and maybe he plans them to move onto
Automake. I don't know about that.
- Bison 3.7 released [stable], Akim Demaille, 2020/07/23
- Re: Bison 3.7 released [stable], Frank Heckenbach, 2020/07/23
- Re: Bison 3.7 released [stable], Akim Demaille, 2020/07/24
- Re: Bison 3.7 released [stable], Frank Heckenbach, 2020/07/24
- Re: Bison 3.7 released [stable],
Akim Demaille <=
- Re: Bison 3.7 released [stable], Frank Heckenbach, 2020/07/26
- Re: problems with "make install" directory permissions, Paul Eggert, 2020/07/26
- Re: problems with "make install" directory permissions, Karl Berry, 2020/07/27
- Re: problems with "make install" directory permissions, Paul Eggert, 2020/07/27
- Re: problems with "make install" directory permissions, Jim Meyering, 2020/07/27
- Re: problems with "make install" directory permissions, Frank Heckenbach, 2020/07/27