2014-05-16 13:04 GMT-03:00 Jerry James <loganjerry(a)gmail.com>:
On Fri, May 16, 2014 at 9:37 AM, Paulo César Pereira de Andrade
> Hi sorry for adding the CC, but trying hard to get you attention :-)
No problem. I saw the first email, but didn't think there was anything for
me to do.
> > o Update to singular 3.1.6 -- should be easy rdieter has or had it
> > almost ready
> I can leave it for Jerry or Rex, or, I can do it, no problems.
I haven't really been involved in the discussion between you two about this
update, so I think it would be better done by one of you.
I tried to merge as best as possible the singular 3.1.6 from
latest git changes.
o still copy over normaliz.lib (because the comments say
it is for normaliz 2.8+ and the one in Singular-3.1.6 says it is for
o rediff Singular-arches.patch; now there is arml and arm6 support
what caused some noise, and apparently is upstream support to
run on raspberry pi (armv6)
o Disable polymake to allow bootstrapping again.
If you have any comments please let me know, otherwise I should
build it in the next few days.