#32049 closed enhancement (fixed)

Update FriCAS to 1.3.7

Reported by: Martin Rubey Owned by:
Priority: major Milestone: sage-9.4
Component: packages: optional Keywords: fricas
Cc: Samuel Lelièvre, Frédéric Chapoton Merged in:
Authors: Martin Rubey Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: 2619149 (Commits, GitHub, GitLab) Commit: 2619149521420ed65a4207630102067f856825a0
Dependencies: Stopgaps:

Status badges

Description (last modified by Martin Rubey)

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:

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

Change History (12)

comment:1 Changed 18 months ago by Martin Rubey

Type: PLEASE CHANGEenhancement

comment:2 Changed 18 months ago by Dima Pasechnik

branch?

comment:3 Changed 17 months ago by Martin Rubey

Branch: u/mantepse/update_fricas_to_1_3_7

comment:4 Changed 17 months ago by Martin Rubey

Commit: 7eeb80c9e1b4e656e0616d157fbc16b31f94ba52
Description: modified (diff)
Status: newneeds_review

New commits:

7eeb80cupdate fricas to 1.3.7

comment:5 Changed 17 months ago by Dima Pasechnik

Reviewers: Dima Pasechnik
Status: needs_reviewpositive_review

lgtm

comment:6 Changed 17 months ago by Dima Pasechnik

Status: positive_reviewneeds_work

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

comment:7 Changed 17 months ago by Martin Rubey

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

comment:8 Changed 17 months ago by Dima Pasechnik

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

comment:9 Changed 17 months ago by Dima Pasechnik

builds and tests fine with

  • new file uild/pkgs/fricas/patches/remove_case_insensitive_test.patch

    - +  
     1diff --git a/configure b/configure
     2index a49f75a..960d412 100755
     3--- a/configure
     4+++ b/configure
     5@@ -2470,7 +2470,7 @@ fi
     6 
     7 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for in-tree build on case insensitive file system" >&5
     8 $as_echo_n "checking for in-tree build on case insensitive file system... " >&6; }
     9-if test "$fricas_top_srcdir" = "$fricas_pwd"; then
     10+if test "$fricas_top_srcdir" = xfoobla; then
     11    rm -f ac_TEST_filenames_CASE_sensitive ac_test_filenames_case_sensitive
     12    echo foo > ac_test_filenames_case_sensitive
     13    if test -f ac_TEST_filenames_CASE_sensitive; then

comment:10 Changed 17 months ago by Dima Pasechnik

Branch: u/mantepse/update_fricas_to_1_3_7u/dimpase/update_fricas_to_1_3_7
Commit: 7eeb80c9e1b4e656e0616d157fbc16b31f94ba522619149521420ed65a4207630102067f856825a0
Status: needs_workpositive_review

OK, this will do.


New commits:

2619149disable insensitivity of FS check

comment:11 Changed 17 months ago by Martin Rubey

Thank you!

comment:12 Changed 17 months ago by Volker Braun

Branch: u/dimpase/update_fricas_to_1_3_72619149521420ed65a4207630102067f856825a0
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.