configure suggests to install libpython3.7-dev but it is not on Ubuntu 20.04

[Sébastien Labbé]

On Ubuntu 20.04, the configure script suggests me this:

configure: hint: installing the following system packages is recommended and may avoid building some of the above SPKGs from source:

configure:   $ sudo apt-get update
  $ sudo apt-get install libflint-arb-dev libbrial-dev libbrial-groebner-dev coinor-cbc coinor-libcbc-dev libcdd-dev libcdd-tools cliquer libcliquer-dev curl libcurl4-openssl-dev libec-dev eclib-tools gmp-ecm libecm-dev fflas-ffpack libflint-dev flintqs libgf2x-dev gfan libgivaro-dev glpk-utils libglpk-dev pari-gp2c libgsl-dev libiml-dev lcalc liblfunction-dev libatomic-ops-dev libbraiding-dev libgd-dev liblrcalc-dev libm4rie-dev libmpfi-dev nauty libntl-dev libopenblas-dev palp pari-gp2c libpari-dev pari-doc pari-elldata pari-galdata pari-galpol pari-seadata libplanarity-dev planarity libppl-dev ppl-dev python3.7 libpython3.7-dev python3-distutils r-base-dev r-cran-lattice librw-dev libsqlite3-dev sqlite3 libsuitesparse-dev libsymmetrica2-dev sympow tachyon yasm libzmq3-dev libzn-poly-dev

When, I run the above command, I get the following errors (it replaces python3.7 by python3.7-2to3 and ibpython3.7-stdlib, but it does not recognize the rational expression libpython3.7-dev):

Note : sélection de python3.7-2to3 pour l'expression rationnelle « python3.7 »
Note : sélection de libpython3.7-stdlib pour l'expression rationnelle « python3.7 »
E: Impossible de trouver le paquet libpython3.7-dev
E: Impossible de trouver de paquet correspondant à l'expression rationnelle « libpython3.7-dev »
E: Impossible de trouver de paquet correspondant à l'expression rationnelle « libpython3.7-dev »

[Sébastien Labbé]

... and after running that command without libpython3.7-dev, it now suggests me this:

$ sudo apt-get install libbrial-dev libbrial-groebner-dev libcdd-dev libcdd-tools libm4rie-dev python3.7 libpython3.7-dev python3-distutils

but when I run it (without libpython3.7-dev), it says I already have those:

python3-distutils est déjà la version la plus récente (3.8.2-1ubuntu1).
libbrial-dev est déjà la version la plus récente (1.2.7-1build1).
libbrial-groebner-dev est déjà la version la plus récente (1.2.7-1build1).
libcdd-dev est déjà la version la plus récente (094j-2).
libcdd-tools est déjà la version la plus récente (094j-2).
libm4rie-dev est déjà la version la plus récente (20200125-1build1).

[Dima Pasechnik]

Please try https://trac.sagemath.org/ticket/27754


>
> --
> 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/48519647-b6a1-4000-9e1e-7ad0328029f8n%40googlegroups.com.

[Sébastien Labbé]

Indeed, with #27754, I get:

configure: notice: the following SPKGs did not find equivalent system packages: coxeter3 libsemigroups
checking for the package system in use... debian
configure: No equivalent system packages for debian are known to Sage

Maybe the last sentence should say "... that are not already installed" ?