On 20 June 2018 at 09:23, Erik Bray <erik.m.b...@gmail.com> wrote: > On Tue, Jun 19, 2018 at 5:13 PM Jeroen Demeyer <j.deme...@ugent.be> wrote: > > > > Several patchbots are showing this error: > > > > [eclib-20171002.p0] libtool: compile: g++ -std=gnu++11 > > -DPACKAGE_NAME=\"eclib\" -DPACKAGE_TARNAME=\"eclib\" > > -DPACKAGE_VERSION=\"20171002\" "-DPACKAGE_STRING=\"eclib 20171002\"" > > -DPACKAGE_BUGREPORT=\"john.crem...@gmail.com\" -DPACKAGE_URL=\"\" > > -DPACKAGE=\"eclib\" -DVERSION=\"20171002\" -DSTDC_HEADERS=1 > > -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 > > -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 > > -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 > > -DLT_OBJDIR=\".libs/\" -DHAVE_CXX11=1 -DHAVE_ALLOCA_H=1 -DHAVE_ALLOCA=1 > > -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_UNISTD_H=1 -DHAVE__BOOL=1 > > -DHAVE_STDBOOL_H=1 -Drestrict=__restrict -DHAVE_MEMMOVE=1 > > -DHAVE_MEMSET=1 -DHAVE_STRCHR=1 -I. -DFLINT_LEVEL=1 > > -I/opt/sage/local/include -I/opt/sage/local/include > > -I/opt/sage/local/include -D NTL_ALL -g -O3 -MT kbessel.lo -MD -MP -MF > > .deps/kbessel.Tpo -c kbessel.cc -o kbessel.o >/dev/null 2>&1 > > [eclib-20171002.p0] mv -f .deps/kbessel.Tpo .deps/kbessel.Plo > > [eclib-20171002.p0] mv -f .deps/mvector.Tpo .deps/mvector.Plo > > [eclib-20171002.p0] In file included from smatrix.cc:44:0: > > [eclib-20171002.p0] smat.cc:945:24: fatal error: flint/fmpz.h: No such > > file or directory > > > > I have seen this error on quasar, rk02-math and sagemath-patchbot-docker > > so it must be a real issue (not a misconfiguration of one system). As > > far as I know, there have been no reports of this outside of the > > patchbot. So I'm clueless what is causing this... > > Probably something to do with an unclean upgrade (or perhaps more > likely downgrade?) path for either flint or eclib when switching > between branches, as patchbots often do. >
In case it helps, eclib makes only very small use of FLINT and this file (smatrix.cc) is one of few which needs it. kbessel.cc definitely does not, but as I already know the web of #includes for eclib is in need of some tidying up. John > > -- > 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 post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
