Activity
From 11 Aug 2022 to 09 Sep 2022
22 Aug 2022
- 16:59 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 Design #1696: Which BOOST libs are actually needed?
- Anna confirms that *only BOOST @filesystem@ is needed on MacOS.*
18 Aug 2022
- 15:36 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 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 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 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 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 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 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 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 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