configure fails to find some packages (archlinux)

[Vincent Delecroix]

Dear all,

On archlinux, the configure package failed to recognized my
installation of

arb cddlib eclib flint giac perl_cpan_polymake_prereq

All of them are installed on my machine with the following versions

arb-2.18.1-1
cddlib-1:0.94l-1
eclib-20190909-9
flint-2.6.3-1
libgiac-1.6.0.23-1
xcas-1.6.0.23-1

Best
Vincent

[nqn...@gmail.com]

On archlinux, the configure package failed to recognized my
installation of

 

> arb eclib flint

Because our flint is compiled with gc support, which is explicitly forbidden in spkg-configure (not sure why, everything is working fine here with system flint). This forces compilation of all flint revdeps. 

> giac

Because version 1.6 is explicitly disallowed as it still has some unsolved issues.

> cddlib

Because they changed the header location in 0.94k so it's not found in spkg-configure

 

[Dima Pasechnik]

On Wed, Sep 23, 2020 at 10:17 AM nqn...@gmail.com <nqn...@gmail.com> wrote:
>>
>>
>> On archlinux, the configure package failed to recognized my
>> installation of
>
>
> > arb eclib flint
>
> Because our flint is compiled with gc support, which is explicitly forbidden in spkg-configure (not sure why, everything is working fine here with system flint).

Cause it used to break things:
https://trac.sagemath.org/ticket/27264#comment:8

Perhaps it is no longer true, and say on Flint 2.6 everything is fine?

There is also something funny with Flint 2.6 build using cmake - not
sure if it's the case on your system, but it seems
that in this case there is no way to specify whether you want GC
support or not.
I guess it ends up without GC support (or, perhaps, with GC support,
no idea), while not setting the corresponding HAVE_GC define. See
https://github.com/wbhart/flint2/issues/837 - my question there is unanswered.

> This forces compilation of all flint revdeps.
>
> > giac
>
> Because version 1.6 is explicitly disallowed as it still has some unsolved issues.
>
> > cddlib
>
> Because they changed the header location in 0.94k so it's not found in spkg-configure
>
>
>

> --
> 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/b99e875e-21f4-45b3-8744-2c54c3716598n%40googlegroups.com.

[Antonio Rojas]

There is also something funny with Flint 2.6 build using cmake - not
sure if it's the case on your system, but it seems
that in this case there is no way to specify whether you want GC
support or not.
I guess it ends up without GC support (or, perhaps, with GC support,
no idea), while not setting the corresponding HAVE_GC define. See
https://github.com/wbhart/flint2/issues/837 - my question there is unanswered.

Indeed, there's no HAVE_GC in flint-config.h and flint is not linked to libgc.so 

[François Bissey]

I have just posted some musing on the issue on GitHub.

> --
> 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/3d515529-6df4-41db-9cb3-468573e463a7n%40googlegroups.com.

[Dima Pasechnik]

I'll fix the flint's configuration to let it treat undefined HAVE_GC
as 0, this should let cmake-built Flint be recognisable,
see https://trac.sagemath.org/ticket/30642

> --
> 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/3d515529-6df4-41db-9cb3-468573e463a7n%40googlegroups.com.