CoCoA » CoCoA-5

26 Mar 2020

11:40 Design #990: CoCoA-5 distribution: tidying

It's a bit late to make a change for the current version, but we could do it for the next release...
I suggest postp... John Abbott

11:38 Design #990: CoCoA-5 distribution: tidying

Here is a quick summary of what I think the installation "script" for CoCoALib does:
* create new dir with name like... John Abbott

24 Mar 2020

22:37 Support #1222 (Feedback): Release CoCoA-5.3.0

release for windows done (maybe) Anna Maria Bigatti

20 Mar 2020

18:00 Design #990: CoCoA-5 distribution: tidying

John Abbott wrote:
> *NOTE*: the linux version unpacks into *@cocoa-5.3.0/@* whereas the Mac version unpacks into *@... Anna Maria Bigatti

13:21 Design #990 (Feedback): CoCoA-5 distribution: tidying

*NOTE*: the linux version unpacks into *@cocoa-5.3.0/@* whereas the Mac version unpacks into *@CoCoA-5.3@*. *Intenti... John Abbott

12:57 Support #1445: Automatic way to produce statically linked CoCoAInterpreter

*IMPORTANT* see the discussion in issue #1443 (about "illegal instruction") before doing much here!
John Abbott

12:55 Feature #1439 (Closed): New function: LinearForm

John Abbott

12:54 Support #1447: Manual entry for RandomLinearForm

I have just checked in a (very) minor update to the man page for @RandomLinearForm@.
I have added a see-also to @Hom... John Abbott

12:35 Support #1447 (In Progress): Manual entry for RandomLinearForm

Robbiano requested the new function @LinearForm@ (see #1439), and clearly had in mind that it should be linear wrt th... John Abbott

12:30 Support #1447 (Closed): Manual entry for RandomLinearForm

I suggest making the manual entry for *@RandomLinearForm@* more explicit, now that we have @HomogCompt@ which respect... John Abbott

12:23 Feature #1367 (Feedback): CoCoA-5.3.0: release linked with more recent version of normaliz

Anna says she has now managed to get successful compilation with N-3.8.4.
She should register (to this issue) the ti... John Abbott

12:22 Bug #1443: Illegal instruction

I have postponed this issue to the next release. This release we used the workaround to compile on a different machi... John Abbott

12:18 Bug #755 (Closed): Find out how to compile statically on linux

I think this issue has run its course, so I'm closing it.
The important points are:
* comment 24 (all of it)
* c... John Abbott

14 Mar 2020

21:46 Bug #1443: Illegal instruction

OK, I do not know what is going on. This is *really annoying!*
I have compiled CoCoA-5 with the *@generic@* opti... John Abbott

20:29 Bug #1443: Illegal instruction

The illegal instruction seems to be coming from the statically linked GMP library -- that is *@libgmp.a@* (and/or @l... John Abbott

12:08 Support #1222: Release CoCoA-5.3.0

There's a new version of GMP!! Released almost 2 months ago, but I didn't notice.... odd!
John Abbott

12 Mar 2020

22:17 Bug #1442 (Closed): CoCoAInterpreter: executable size

I have sent several stripped executables to Matteo; some have worked, some have not.
Anyway, I am now convinced that... John Abbott

13:36 Bug #1442 (Feedback): CoCoAInterpreter: executable size

Last night I made a release version (stripped, with statically linked @libgmpxx.a@, @libgmp.a@, @libreadline.a@, @lib... John Abbott

15:55 Bug #1443: Illegal instruction

It could also be that the "illegal instruction" does not come from CoCoA at all, but is in one of the already compile... John Abbott

15:40 Bug #1443: Illegal instruction

There is information on the web page:... John Abbott

15:33 Bug #1443: Illegal instruction

It seems that *@--march=i686@* is *not correct*. It says that it does not support x86_64 instruction set :-(
Inves... John Abbott

13:32 Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter

Find a way to automate what has been discovered in issue #755.
Presumably it would be nice if I could just "downlo... John Abbott