On Mon, Mar 18, 2024 at 11:08 PM Waldek Hebisch <[email protected]> wrote:

> On Mon, Mar 18, 2024 at 10:39:05PM +0800, Qian Yun wrote:
> > I see that "configure" is updated in branch r1.3.10 by
> > autoconf 2.71.  I suggest we do the same for master branch.
> > (Using 2.71 or 2.72 is debatable.)
>
> Well, 'configure' is supposed to be portable.  We update it
> when there is a need.  Since for release 'configure' contains
> version number each release needs its own 'configure'.  ATM
> I see no reason to regenerate 'configure' in the trunk.
>

after ./configure et al. are generated, it's all portable.
One immediate reason to use 2.72 is correct year 2038 support (something
which
boils down to how time_t behaves on 32-bit systems).
E.g. recently I had some fun with porting nauty to modern autoconf:
https://bugs.gentoo.org/921138

>
> > Also, we can update various files under "config/".  Although
> > it is not required for the arm64 mac build.  But they have
> > not been updated for a very very long time.
>

this is not true. E.g. the log for config/configure.sub and config.guess
shows a number of updates in last year, this year, and more since 2020
(after a gap in 2017-2019)
http://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=history;f=build-aux/config.sub;h=2c6a07ab3c34eabed8318ec0a37c0cc23b77a63f;hb=HEAD

http://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=history;f=build-aux/config.guess;h=f6d217a49f8f4a664e1437306f3c4196793dcb35;hb=HEAD

(yes, a lot of it  are just dates bumps, but there a very meaningful
changes too)


>
> This is slowly changing stuff.  AFAICS upstream changes are
> mostly churn.  In the future we probably will need RISC-V stuff,
> but it does not look urgent.
>

Well, it is urgent.
I know people already running Risc-V boads, and I'm getting one soon, too.


>
> >
> > It can be updated by:
> >
> >
> https://www.gnu.org/software/gettext/manual/html_node/config_002eguess.html
> >
> > wget -O config.guess '
> https://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD
> '
> > wget -O config.sub '
> https://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD
> '
> >
> >
> > And "install-sh  missing  mkinstalldirs" is provided by automake.
>
> Note that we _do not_ use automake and I very much prefer to avoid it
> (and related bloat).
>

sure - but there are things, such as config.rpath, which ended up in
automake at some point;
the right way to get them into the code, but avoid automake, is by using
gnulib.
Does fricas use gnulib?
(yes, Sage used to "manually" copy files from automake, but we switched to
using gnulib,
which basically means to run it once every few years, check files it
generates into the git repo, and update what it produces, if needed)

Dima

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAAWYfq3tGmAAV91y-7L_3S0O9-1%3DwM3GwFBZDeX%3DErW9jBGWcg%40mail.gmail.com.

Reply via email to