On 3/19/24 07:08, Waldek Hebisch 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.
On the related subject, I suggest that 'configure' use git hash
as version number instead of current date. What's your thoughts?
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 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.
There are certainly improvements and fixes, and low risk of bugs.
I glanced the changelog, and found this useful commit:
https://git.savannah.gnu.org/gitweb/?p=config.git;a=commitdiff;h=ca9bfb8cc75a2be1819d89c664a867785c96c9ba
* config.guess (x86_64:Linux:*:*): Output 'pc', not 'unknown'.
You used to manually remove the "unknown" part. Now it is gone.
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).
I mean that config/install-sh is from automake repo:
https://git.savannah.gnu.org/cgit/automake.git/log/lib/install-sh
The changelog seems to include some minor fixes.
Our version is from 2005...
- Qian
--
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/b998f172-21f7-4dac-8196-513e9ba40338%40gmail.com.
