Waldek, thanks for all your work and messages.
I apologise for delayed responses. I've had some domestic chores and also a
chain of problems setting up my new PC (received mid July), but now
functioning very well. Example: problem I could not get linux (fedora 32)
to hibernate until I eventually discovered that a possible cause might be a
bios setting: secure boot. Disabling that bios setting (at what risk in a
domestic environment?) fixed the problem in a few minutes, after wasted
hours searching for information, etc.
Earlier I had to help my wife fight the dreadful Win10 user interface on
her new PC, also replacing a much older, slower one. I can't understand how
a company with so many clever computer scientists and software engineers
allows their HCI people to produce such junk at the interface and also in
the system: e.g. webcams that just work on linux rejected by win10, or in
one case allowing video input but not audio (mic) input.
....
I have now begun to starting to catch up with Poplog stuff.
Until we have a better long term solution, on the V16 web site, I've
modified getpoplog.sh to download and invoke the new fixed version of
build_all.sh
with your correction, so that build_all.csh can be discarded.
I apologise for my bash / sh incompetence. I've never really been a shell
programmer, and the shell I use for my own scripts is tcsh for historical
reasons.
I presume that later on the bit about fetching the core poplog files from
Birmingham will be replaced by instructions for downloading the latest
version from github.
I've removed some of the printout previously produced by getpoplog.sh, and
instead a file of information/instructions is downloaded and installed in
the directory above poplog_base.
Current draft (work in progress):
http://www.cs.bham.ac.uk/research/projects/poplog/V16/INSTRUCTIONS.txt
(Still incomplete.)
I want that to include information about Pop11. All the published books on
pop11 are badly out of date, especially because they were written before
lexical scoping (lvars, etc) was added. Instead I'll provide links to the
online Primer (html, pdf, and plain text versions).
I'll respond later to your other messages.
Thanks.
There may be other poplog-related messages that I've not reached yet.
Aaron
