After Steve Leach and Steve Isard reported getting poplog working with Waldek's
most recent changes I installed the new version of
$usepop/pop/extern/lib/c_core.c
on my machine.
Then, still using the old kernel 5.6.6-300.fc32.x86_64, in the $usepop
directory
I reran the two scripts to build a new poplog, as follows (after trying a
shortcut that did not succeed). This worked:
#!/bin/bash
usepop=`pwd`
export usepop
echo "./build_pop0 > rapp1 2>&1"
./build_pop0 > rapp1 2>&1
echo "mv pop/pop/newpop11 pop/pop/corepop"
echo "type 'y' if permission requested"
echo ""
mv pop/pop/newpop11 pop/pop/corepop
echo ""
echo "run second build, to complete construction of basic new poplog"
echo "./build_pop2 > rapp2 2>&1"
./build_pop2 > rapp2 2>&1
That created a new corepop, and used that to create a new basepop11 and build
the standard saved images in $usepop/pop/lib/psv
startup.psv
prolog.psv
clisp.psv
pml.psv
xved.psv
[I'll add more later]
I did not look in rapp1 and rapp2 to see if there were any warnings, etc.!
Everything seemed to be working though I had a strange problem with XVed, which
I can't now replicate.
So I shut everything down and rebooted into the latest fedora kernel:
5.11.17-100.fc32.x86_64 #1 SMP Wed Apr 28 14:27:15 UTC 2021
So far everything I've tried has worked as expected, including the rc_blocks
demo, which I can run either in XVed or in normal ved.
There are many more things to try, including David Young's vision libraries
(which will have to be updated for the new linux) though I don't know when I'll
have time.
I haven't yet checked whether the autosave bug has disappeared.
I'll continue using the new system as my main working environment, expecting it
to go on working after kernel upgrades, as in the past.
Later, if there are no nasty surprises, then, with the usual help from Waldek,
I'll rebuild the installation package including the new c_core.c file, and check
that it works on new and old versions of linux (using a departmental machine
running CentOS Linux release 7.7.1908 with kernel 3.10.0-1062.1.2.el7.x86_64)
Then (eventually) modify the documentation, including news file.
This is still an interim configuration, with poplog sources split between the
core on github and all the rest here in Birmingham. I'll leave it to others to
work out the best long term solution, presumably with everything on github?
I am enormously grateful to the two Steves and Waldek.
I now should never have to run the old kernel v 5.6.6 again, which has been
making me nervous while other things are updated on my Fedora 32 machine.
Time to sleep. Thre's another zoom conferencee tomorrow...
Aaron
http://www.cs.bham.ac.uk/~axs
