force sage to use system pkg even if configure does not want to

[Vincent Delecroix]

Dear all,

I do have a gcc 10 that sage configure does not accept. How do I force
./configure to pick gcc from the system (I don't care if things break, I
would rather fix them than compile gcc)?

Naively, I thought that the `--force` option would do that but instead
it stops the configure scripts with an error.

Best
Vincent

[Dima Pasechnik]

Hi Vincent,

On Fri, May 29, 2020 at 4:56 PM Vincent Delecroix

as a workaround, remove the line 153
(which is "SAGE_SHOULD_INSTALL_GCC([$CXX is g++ version $GXX_VERSION,
which is too recent for this version of Sage])")
from build/pkgs/gcc/spkg-confiigure.m4

and re-run

./bootstrap
./configure

HTH
Dima


>
> Best
> Vincent
>
> --
> 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/fb23d95c-4eca-e198-5b9a-2e4cfb141302%40gmail.com.

[Vincent Delecroix]

Hi Dima,

Le 29/05/2020 à 18:17, Dima Pasechnik a écrit :
> Hi Vincent,
>
> On Fri, May 29, 2020 at 4:56 PM Vincent Delecroix
> <20100.d...@gmail.com> wrote:
>>
>> Dear all,
>>
>> I do have a gcc 10 that sage configure does not accept. How do I force
>> ./configure to pick gcc from the system (I don't care if things break, I
>> would rather fix them than compile gcc)?
>>
>> Naively, I thought that the `--force` option would do that but instead
>> it stops the configure scripts with an error.
>
> as a workaround, remove the line 153
> (which is "SAGE_SHOULD_INSTALL_GCC([$CXX is g++ version $GXX_VERSION,
> which is too recent for this version of Sage])")
> from build/pkgs/gcc/spkg-confiigure.m4
>
> and re-run
>
> ./bootstrap
> ./configure

This is what I did. I was looking for a less intrusive and more
permanent solution. Isn't something that a fourth desirable
alternative for the configure script?

yes : try to use
no : do not use
force : try to use and error if not happy
option X : use anyway

(option names above are a mess)

Best
Vincent

[Matthias Koeppe]

On Friday, May 29, 2020 at 9:25:53 AM UTC-7, vdelecroix wrote:

Le 29/05/2020 à 18:17, Dima Pasechnik a écrit :
> On Fri, May 29, 2020 at 4:56 PM Vincent Delecroix
> <20100.d...@gmail.com> wrote:
>> I do have a gcc 10 that sage configure does not accept. How do I force
>> ./configure to pick gcc from the system (I don't care if things break, I
>> would rather fix them than compile gcc)?
>>
>> Naively, I thought that the `--force` option would do that but instead
>> it stops the configure scripts with an error.

Isn't something that a fourth desirable
alternative for the configure script?

  yes      : try to use
  no       : do not use
  force    : try to use and error if not happy
  option X : use anyway

(option names above are a mess)

There's a ticket for that:

https://trac.sagemath.org/ticket/29499 ("./configure --with-system-SPKG=whatever")

Please feel free to work on it.

Matthias