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 <javascript:>> 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 -- 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/cfb1e2c8-4fb8-453f-84b8-449369a22721%40googlegroups.com.
