CoCoA

22 Aug 2022

17:29 CoCoALib Feature #1694 (Resolved): New expv/exponents function?

I have implemented the changes proposed in comment 4.
It all compiles, and all tests pass.
I'll check in soon.
John Abbott

16:01 CoCoALib Feature #1694: New expv/exponents function?

After discussing with Anna, we think the following redesign is a good solution:
* change existing @exponents@ so tha... John Abbott

15:34 CoCoALib Feature #1694 (In Progress): New expv/exponents function?

Bruns replied by email (2022-08-09):... John Abbott

16:59 CoCoA-5 Design #1697 (In Progress): Specifying BOOST in configure

In a sense there is no difference between *@--with-boost@* and *@--also-build-CoCoA5@*
(except that one is clearly... John Abbott

16:23 CoCoA-5 Design #1696: Which BOOST libs are actually needed?

Anna confirms that *only BOOST @filesystem@ is needed on MacOS.*
John Abbott

18 Aug 2022

15:36 CoCoA-5 Bug #1093: GUI: bugs and slugs

Interrupt messages from CoCoALib functions are discarded/ignored.
There does not appear to be a "kill" option for ... John Abbott

15:27 CoCoA-5 Slug #750: C5 GUI: very slow when printing many short lines

2022-08-18: JAA confirms that this slug is still present.
It suffices to test *@indent(1..1000)@*
@top@ reported ... John Abbott

14:39 CoCoA-5 Design #1696: Which BOOST libs are actually needed?

I am using BOOST 1.80 compiled from source and with a standard installation (in @/usr/local/@ on Ubuntu).
John Abbott

12:21 CoCoA-5 Design #1696: Which BOOST libs are actually needed?

On my Ubuntu box, it seems that *just BOOST @filesystem@ is needed.*
I did a reconfigure (with debugging on), after ... John Abbott

11:40 CoCoA-5 Design #1696 (In Progress): Which BOOST libs are actually needed?

I have just edited @autoconf.mk@ to remove the BOOST sub-libs @system@ and @threads@.
Everything compiled. All CoCo... John Abbott

11:38 CoCoA-5 Design #1696 (Closed): Which BOOST libs are actually needed?

Currently we require the following BOOST sub-libs:
* @filesystem@
* @threads@
* @system@
A quick check suggeste... John Abbott

14:37 CoCoA-5 Design #1697 (Closed): Specifying BOOST in configure

The code handling the BOOST libraries in @configure@ is an "unholy mess".
If the user specifies no BOOST option th... John Abbott

16 Aug 2022

21:29 CoCoA-5 Bug #1695 (In Progress): boost-find-lib.sh

I have changed the list of dirs to search for the BOOST libs, and have asked Robert Goldman to verify that it works f... John Abbott

21:27 CoCoA-5 Bug #1695 (Closed): boost-find-lib.sh

Robert Goldman reported by email (2022-08-15) that the script @boost-find-lib.sh@
did not work with a standard insta... John Abbott