Re: [sage-devel] Patchbot trouble with flint/fmpz.h

2018-06-20 Thread John Cremona
On 20 June 2018 at 09:23, Erik Bray wrote: > On Tue, Jun 19, 2018 at 5:13 PM Jeroen Demeyer wrote: > > > > Several patchbots are showing this error: > > > > [eclib-20171002.p0] libtool: compile: g++ -std=gnu++11 > > -DPACKAGE_NAME=\"eclib\" -DPACKAGE_TARNAME=\"eclib\" > > -DPACKAGE_VERSION=\"20

Re: [sage-devel] Patchbot trouble with flint/fmpz.h

2018-06-20 Thread Erik Bray
On Tue, Jun 19, 2018 at 5:13 PM Jeroen Demeyer 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_

[sage-devel] Patchbot trouble with flint/fmpz.h

2018-06-19 Thread Jeroen Demeyer
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=\"\" -DPACKA