Re: [sage-devel] Error building deformation and libsemigroups 0.6.7

2021-04-26 Thread Dima Pasechnik
On Mon, Apr 26, 2021 at 11:11 AM Dima Pasechnik wrote: > > On Mon, Apr 26, 2021 at 10:09 AM Jean-Pierre Flori wrote: > > > > Fix for deformation has been tagged in my fork. > > And mentioned here: > > https://trac.sagemath.org/ticket/30325 > > Feel free to package and review. https://trac.sagema

Re: [sage-devel] Error building deformation and libsemigroups 0.6.7

2021-04-26 Thread Dima Pasechnik
On Mon, Apr 26, 2021 at 10:09 AM Jean-Pierre Flori wrote: > > Fix for deformation has been tagged in my fork. > And mentioned here: > https://trac.sagemath.org/ticket/30325 > Feel free to package and review. I've quickly checked, and it appears to just work with modern GMP. See https://github.com

Re: [sage-devel] Error building deformation and libsemigroups 0.6.7

2021-04-26 Thread Jean-Pierre Flori
Fix for deformation has been tagged in my fork. And mentioned here: https://trac.sagemath.org/ticket/30325 Feel free to package and review. Not sure that it supports GMP instead of MPIR (which is also abandonware). Le jeudi 22 avril 2021 à 17:44:39 UTC+2, dim...@gmail.com a écrit : > errors buil

Re: [sage-devel] Error building deformation and libsemigroups 0.6.7

2021-04-22 Thread Dima Pasechnik
errors building libsemigroups should be reported on its github page: https://github.com/libsemigroups/libsemigroups deformation package, on the other hand is more or less abandonware. On Thu, 22 Apr 2021, 15:17 Tirthankar Mazumder, wrote: > While running make ptestalllong, I was able to buil