sage -i fricas broken ?

[Frédéric Chapoton]

Hello,

it seems that "sage -i  fricas" is currently not working.

Maybe the tarball is missing on the mirrors,

or maybe the tarball name is wrong ?

Frédéric

[fricas-1.3.6] FileNotMirroredError: tarball does not exist on mirror network
[fricas-1.3.6] ************************************************************************
[fricas-1.3.6] ************************************************************************
[fricas-1.3.6] Error downloading fricas-1.3.6-full.tar.bz2

[Ralf Hemmecke]

https://sourceforge.net/projects/fricas/files/fricas/1.3.6/

[Samuel Lelievre]

Until the tarball is uploaded to our download mirrors

(which should happen soon now), some workarounds

are described the ticket description for

- Sage Trac ticket 27309: Update FriCAS to 1.3.6

  https://trac.sagemath.org/ticket/27309

One of them is:

```

$ SAGE_SPKG="sage-spkg -o" ./sage -i fricas

```

The other one is:

```

$ ./configure --enable-download-from-upstream-url ./sage -i fricas

```

Or you could manually download the tarball to your `upstream` folder

(see the upstream url in `src/build/pkgs/fricas/checksums.ini`).

Another way, suggested in a comment at ticket #29314,

https://trac.sagemath.org/ticket/29314#comment:53

where we upgrade the `gap` and `gap_packages` SPKGs,

is to use `sage -f` instead of `sage -i`. Apparently that

not only forces reinstallation if a package is already there,

but also forces downloading from upstream url if the

tarball is missing locally and on the Sage mirrors. So:

```

$ ./sage -f fricas

```

[Dima Pasechnik]

you need to run
./configure --enable-download-from-upstream-url
before doing sage -i fricas

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a249e97f-8734-437d-abef-2244928e6a22n%40googlegroups.com.

[Samuel Lelievre]

2020-10-02 11:39:34 UTC+2, Samuel Lelievre:

>
> Until the tarball is uploaded to our download mirrors

Done now (thanks Volker!): see fricas-1.3.6 listed at

http://files.sagemath.org/spkg/upstream/fricas/index.html