config.log has more information on why packages are rejected

On Tuesday, August 18, 2020 at 1:37:09 AM UTC-7, Nicolo' wrote:
>
> After importing 
> u/mkoeppe/spkg_configure_m4_for_giac 
> u/mkoeppe/more_voidlinux_txt 
> and d43730c (should this appear in beta9?), 
> I still get 
>
> the following SPKGs did not find equivalent system packages: arb brial 
> cddlib cliquer coxeter3 eclib fflas_ffpack flint flintqs fplll gf2x gfan 
> givaro gp2c iml isl lcalc libbraiding libgd libsemigroups lrcalc m4ri 
> m4rie mpfi nauty ntl palp pari pari_elldata pari_galdata pari_galpol 
> pari_nftables pari_seadata pari_seadata_small perl_cpan_polymake_prereq 
> planarity python3 r rw suitesparse symmetrica sympow tachyon zn_poly 
>
> checking for the package system in use... void 
> configure: hint: installing the following system packages is recommended 
> and may avoid building some of the above SPKGs from source: 
> configure:   $ sudo xbps-install flint imlib2-devel isl16-devel pari 
> pari-devel python3 python3-devel rw 
>
> But these are already installed (notice there's no isl16-devel, maybe 
> isl15-devel?). In particular, 
>
> pari-2.11.4.p0:                              no suitable system package; 
> will be installed as an SPKG 
>
> giac-1.5.0.87:                               does not support check for 
> system package; will be installed as an SPKG 
>
> python3-3.7.3.p1:                            no suitable system package; 
> will be installed as an SPKG 
>
> Shouldn't all these be detected by now? 
>
> On 8/17/20 7:55 PM, Matthias Koeppe wrote: 
> > 
> > Yes, https://trac.sagemath.org/ticket/29541 is worth trying and needs 
> review 
> > 
>

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/3ee29877-7a7f-46a3-8536-a73aae44773ao%40googlegroups.com.

Reply via email to