Update FriCAS to 1.3.7

[mantepse]

This ticket is to upgrade to FriCAS 1.3.7 and track dependencies.

Tarball: see checksums.ini

Note that FriCAS has switched to using Git and the primary repository is now the one at GitHub, but the homepage remains at Sourceforge:

• https://fricas.sourceforge.net
• https://github.com/fricas/fricas/releases

Our last update was to Fricas 1.3.6 in #27309 in 2020.

To try this ticket from your Sage root directory, with git-trac-command installed:

1. git trac try
2. SAGE_SPKG="sage-spkg -o" ./sage -i fricas (or use ./configure --enable-download-from-upstream-url first)
3. ./sage -t --optional=fricas,sage src/sage/interfaces/fricas.py

This release also fixes #28630

CC: @slel @fchapoton

Component: packages: optional

Keywords: fricas

Author: Martin Rubey

Branch/Commit: 2619149

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/32049

[dimpase]

comment:2

branch?

[mantepse]

Branch: u/mantepse/update_fricas_to_1_3_7

[mantepse]

Commit: 7eeb80c

[mantepse]

New commits:

7eeb80c

update fricas to 1.3.7

[dimpase]

Reviewer: Dima Pasechnik

[dimpase]

comment:5

lgtm

[dimpase]

comment:6

does not build on macOS:

[fricas-1.3.7.p1] No legacy uninstaller found for 'fricas'; nothing to do
[fricas-1.3.7.p1] Configuring fricas-1.3.7.p1
[fricas-1.3.7.p1] configure: WARNING: unrecognized options: --disable-static, --disable-maintainer-mode, --disable-dependency-tracking
[fricas-1.3.7.p1] checking build system type... x86_64-apple-darwin20.5.0
[fricas-1.3.7.p1] checking host system type... x86_64-apple-darwin20.5.0
[fricas-1.3.7.p1] checking target system type... x86_64-apple-darwin20.5.0
[fricas-1.3.7.p1] checking for in-tree build on case insensitive file system... configure: error: in tree build on case insensitive file system is not supported. Use out-of-source build instead.
[fricas-1.3.7.p1] configure: WARNING: unrecognized options: --disable-static
[fricas-1.3.7.p1] checking build system type... x86_64-apple-darwin20.5.0
[fricas-1.3.7.p1] checking host system type... x86_64-apple-darwin20.5.0
[fricas-1.3.7.p1] checking target system type... x86_64-apple-darwin20.5.0
[fricas-1.3.7.p1] checking for in-tree build on case insensitive file system... configure: error: in tree build on case insensitive file system is not supported. Use out-of-source build instead.
[fricas-1.3.7.p1] ********************************************************************************
[fricas-1.3.7.p1] Error configuring fricas-1.3.7.p1 See the file

[mantepse]

comment:7

I do not have access to macOS, can you do something about this? Or do you know who could?

[dimpase]

comment:8

trying to fix it now. Probably it's a red herring (see fricas/fricas#38), but it needs a patch. I've disabled the test in question and checking if it still works.

[dimpase]

comment:9

builds and tests fine with

--- /dev/null
+++ b/build/pkgs/fricas/patches/remove_case_insensitive_test.patch
@@ -0,0 +1,13 @@
+diff --git a/configure b/configure
+index a49f75a..960d412 100755
+--- a/configure
++++ b/configure
+@@ -2470,7 +2470,7 @@ fi
+ 
+ { $as_echo "$as_me:${as_lineno-$LINENO}: checking for in-tree build on case insensitive file system" >&5
+ $as_echo_n "checking for in-tree build on case insensitive file system... " >&6; }
+-if test "$fricas_top_srcdir" = "$fricas_pwd"; then
++if test "$fricas_top_srcdir" = xfoobla; then
+    rm -f ac_TEST_filenames_CASE_sensitive ac_test_filenames_case_sensitive
+    echo foo > ac_test_filenames_case_sensitive
+    if test -f ac_TEST_filenames_CASE_sensitive; then

[dimpase]

comment:10

OK, this will do.

---

New commits:

2619149

disable insensitivity of FS check

[dimpase]

Changed commit from 7eeb80c to 2619149

[dimpase]

Changed branch from u/mantepse/update_fricas_to_1_3_7 to u/dimpase/update_fricas_to_1_3_7

[mantepse]

comment:11

Thank you!

[vbraun]

Changed branch from u/dimpase/update_fricas_to_1_3_7 to 2619149