Are you using a configure cache? Because according to your config.log, it's only checking 1 binary
On Wednesday, September 9, 2020 at 12:58:26 PM UTC-7, Dima Pasechnik wrote: > > On Wed, Sep 9, 2020 at 8:54 PM Matthias Köppe <[email protected] > <javascript:>> wrote: > > > > Is "python3.8" in PATH? > of course. > > dima@oucl13243 sagetrac-mirror % python3 > Python 3.7.8 (default, Jul 8 2020, 14:18:28) > [Clang 11.0.3 (clang-1103.0.32.62)] on darwin > Type "help", "copyright", "credits" or "license" for more information. > >>> > > dima@oucl13243 sagetrac-mirror % python3.8 > Python 3.8.5 (default, Jul 21 2020, 10:48:26) > [Clang 11.0.3 (clang-1103.0.32.62)] on darwin > Type "help", "copyright", "credits" or "license" for more information. > >>> > > dima@oucl13243 sagetrac-mirror % python3.7 > Python 3.7.8 (default, Jul 8 2020, 14:18:28) > [Clang 11.0.3 (clang-1103.0.32.62)] on darwin > Type "help", "copyright", "credits" or "license" for more information. > > >>> > > > > > On Wednesday, September 9, 2020 at 12:44:50 PM UTC-7, Dima Pasechnik > wrote: > >> > >> here it is. The account shell is zsh, but this most probably does not > matter. > >> > >> On Wed, Sep 9, 2020 at 6:31 PM Matthias Köppe <[email protected]> > wrote: > >> > > >> > On Wednesday, September 9, 2020 at 10:11:14 AM UTC-7, Dima Pasechnik > wrote: > >> >> > >> >> by the way, I am not able to pick up Homebrew's python3.8 in the > presence of python3.7, unless I modify python3's spkg-configure.m4 to > exclude python3.7 and python3 from the list of Pythons it checks for. > >> >>> > >> >>> > >> > > >> > config.log? > >> > > >> > > >> > -- > >> > You received this message because you are subscribed to the Google > Groups "sage-release" group. > >> > To unsubscribe from this group and stop receiving emails from it, > send an email to [email protected]. > >> > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/fead00fa-099a-4119-858f-1168a8481aeao%40googlegroups.com. > > > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-release" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected] <javascript:>. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/2315e53f-5d2c-4c44-b8bf-1f3940bac109o%40googlegroups.com. > > > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/a5b4735e-a729-4e7d-b421-9c95d320601eo%40googlegroups.com.
