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 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
--
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/27fdfa42-ee8d-2e48-f690-030d72242111%40gmail.com.
