My system install of libreadline-dev shows up as version 7.0-3 in synaptic. In a local prompt for python3, "import readline" executes without barking.
Bryan On Monday, March 30, 2020 at 8:33:32 PM UTC-6, Dima Pasechnik wrote: > > On Tue, Mar 31, 2020 at 10:29 AM B Gillespie <ceili...@gmail.com > <javascript:>> wrote: > > > > Hi Matthias, > > > > For sure, thanks for taking a look. Also, I remembered that I actually > upgraded to Linux Mint 19 a number of months ago, in case that's relevant. > > Do you have libreadline-dev installed? > > > > > Best, > > Bryan > > > > On Monday, March 30, 2020 at 5:42:09 PM UTC-6, Matthias Koeppe wrote: > >> > >> Hi Bryan, > >> > >> On Monday, March 30, 2020 at 7:35:06 PM UTC-4, B Gillespie wrote: > >>> > >>> I'm having trouble compiling the Sage develop branch on my Linux Mint > 17.1 laptop. It dies when compiling Python 3, and in particular in the log > file I see that it is having a failure when testing the import for the > module "readline". Any ideas what might be the issue? > >>> > >>> As a little more info, I've successfully built older versions of Sage > on this operating system (earlier in the 18.X timeframe) but haven't needed > to build from source since 19.X. I've attached the log file for the > python3 build; let me know if any other information would be helpful. > >> > >> > >> The top-level config.log would be helpful. > >> > >> > >> > >> > > > > -- > > 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-...@googlegroups.com <javascript:>. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/aad88984-0d68-4bfe-828c-a9e58f2db95a%40googlegroups.com. > > > -- 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/7c952869-610a-4f4c-82c0-878e980f2966%40googlegroups.com.