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
> >> ./configur
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.delecr...@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
Hi Vincent,
On Fri, May 29, 2020 at 4:56 PM Vincent Delecroix
<20100.delecr...@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
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
