CoCoA » CoCoA-5

08 Aug 2012

20:15 Bug #220 (Resolved): Trouble on Linux: many CoCoA-5 tests fail (0.9952)

Apparently my guess as to the cause was correct; well, replacing the global by function+static var seems to have reso... John Abbott

20:11 Bug #217: Makedependencies of CoCoA-5 fails if BOOST is absent

Niko had problems. I found some more (minor) bugs in @configure@.
Everything works as I want on my linux VM; waiti... John Abbott

05 Aug 2012

14:32 Bug #217: Makedependencies of CoCoA-5 fails if BOOST is absent

Now I believe I have sorted out the configure script (and Makefiles) so that they work just as well when BOOST is abs... John Abbott

13:23 Bug #220: Trouble on Linux: many CoCoA-5 tests fail (0.9952)

Apparently fails in the same way on a Linux virtual machine (running Ubuntu).
The compiler was gcc-4.3.2.
John Abbott

12:51 Bug #220 (Closed): Trouble on Linux: many CoCoA-5 tests fail (0.9952)

The only CoCoA-5 tests which passed were: @exsegv@, and @lambdas@. All the others failed. I tried running one manua... John Abbott