Can you post the config.log? It does the right thing on my machine: configure:20930: checking for rl_callback_read_char in -lreadline configure:20955: gcc -o conftest -g -O2 -L/home/vbraun/Code/sage/local/lib/ -Wl,-rpath,/home/vbraun/Code/sage/local/lib -Wl,-rpath,/home/vbraun/Code/sage/local/lib64 conftest.c -lreadline >&5 configure:20955: $? = 0
On Wednesday, December 23, 2015 at 5:13:23 PM UTC+1, Nathann Cohen wrote: > > I failed to build this latest release because of the 'R' package (see > logfile [1]). It fails at this step: > > configure: error: --with-readline=yes (default) and headers/libs > are not available > > I am running "debian testing", with libreadline-dev installed. > > Nathann > > [1] http://www.steinertriples.fr/ncohen/tmp/r-3.2.3.p0.log > > On 23 December 2015 at 12:52, Volker Braun <vbrau...@gmail.com > <javascript:>> wrote: > > The diff you mention is in the configure.ac, so you need to reconfigure > > (i.e. run SAGE_ROOT/bootstrap) > > > > On Wednesday, December 23, 2015 at 11:21:39 AM UTC+1, Sébastien Labbé > wrote: > >> > >> > >> > >> On Wednesday, December 23, 2015 at 11:16:18 AM UTC+1, François wrote: > >>> > >>> It looks like one ticket for the packages of type `script` wasn’t > >>> included then. > >> > >> > >> But I can see that http://trac.sagemath.org/ticket/19427 merged in > >> sage-7.0.beta0 contains the diff: > >> > >> - echo >&2 "The content of \"$PKG_TYPE_FILE\" must be 'base', > 'standard', > >> 'optional', 'experimental' or 'pip'" > >> + echo >&2 "The content of \"$PKG_TYPE_FILE\" must be 'base', > 'standard', > >> 'optional', 'experimental', 'script', or 'pip'" > >> > >> Therefore, I guess patchbot are not running sage-7.0.beta0 cleanly... > > > > -- > > 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 sage-release...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-r...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-release. > > For more options, visit https://groups.google.com/d/optout. > -- 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 sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.