Update FriCAS to 1.3.6

[mantepse]

This ticket is to upgrade to FriCAS 1.3.6 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

and we still get source tarballs from Sourceforge since those available at GitHub are not the full source archives we need.

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

Our last update was to Fricas 1.3.5 in #25962 in February 2019.

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

1. git trac try 27309
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

CC: @slel

Component: packages: optional

Keywords: FriCAS, upgrade

Author: Frédéric Chapoton

Branch: b811a1d

Reviewer: Matthias Koeppe, Samuel Lelièvre

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

[embray]

comment:1

Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)

[embray]

comment:2

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

[slel]

comment:3

Fricas 1.3.6 was released. Release announcement:

• https://groups.google.com/d/topic/fricas-devel/nU1HDg9Q_4s/discussion

[mantepse]

comment:4

In case you have time, could you check whether #27310 works?

[fchapoton]

Commit: 29d0e02

[fchapoton]

New commits:

29d0e02

update fricas to 1.3.6

[fchapoton]

Branch: u/chapoton/27309

[sagetrac-git]

Changed commit from 29d0e02 to 086cbf0

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

086cbf0

fix fricas doctest

[fchapoton]

comment:9

Passes all doctests. This seems to be good to go.

[slel]

comment:11

In build/pkgs/fricas/checksums.ini maybe change:

-tarball=fricas-VERSION-full.tar.bz2
+tarball=fricas-VERSION.tar.gz

[fchapoton]

comment:12

why ?

[mkoeppe]

comment:13

I see:

upstream_url=https://github.com/fricas/fricas/archive/VERSION.tar.gz

I don't think this the URL of a release tarball. This is just the automatic git archive corresponding to the tag. Upstream seems to continue using sourceforge for distributing release tarballs.

[slel]

comment:15

In that case do we need in checksums.ini the following (with updated checksums):

tarball=fricas-VERSION-full.tar.bz2
...
upstream_url=https://sourceforge.net/projects/fricas/files/fricas/VERSION/fricas-VERSION-full.tar.bz2/download

Or are these Sourceforge download urls problematic?

[slel]

comment:17

Ideally, rebase on Sage 9.2.beta9.

[sagetrac-git]

Changed commit from 086cbf0 to b811a1d

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

b811a1d

update fricas to 1.3.6

[fchapoton]

comment:19

better like that ?

[mkoeppe]

Changed author from Martin Rubey to Frédéric Chapoton

[mkoeppe]

Reviewer: Matthias Koeppe

[mkoeppe]

comment:23

Works for me on macOS.

[slel]

Changed reviewer from Matthias Koeppe to Matthias Koeppe, Samuel Lelièvre

[slel]

comment:24

Success on Debian too:

$ ./sage -i fricas && ./sage -t --optional=fricas,build,dochtml,sage --all
All tests passed!

[vbraun]

Changed branch from u/chapoton/27309 to b811a1d

[fchapoton]

Changed commit from b811a1d to none

[fchapoton]

comment:26

I now have problems with "sage -i fricas", which does not seem to be able to find the tarball in the mirrors..