Activity
From 15 Aug 2022 to 13 Sep 2022
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.
-
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... -
15:34 CoCoALib Feature #1694 (In Progress): New expv/exponents function?
- Bruns replied by email (2022-08-09):...
-
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... -
16:23 CoCoA-5 Design #1696: Which BOOST libs are actually needed?
- Anna confirms that *only BOOST @filesystem@ is needed on MacOS.*
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 ... -
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 ... -
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).
-
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 ... -
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... -
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... -
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...
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...
-
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...
Also available in: Atom