Thanks *very* much Waldek.
I have fetched this
http://www.math.uni.wroc.pl/~hebisch/poplog/build_all.sh
and installed it here:
http://www.cs.bham.ac.uk/research/projects/poplog/V16/build_all.sh
And I have altered
http://www.cs.bham.ac.uk/research/projects/poplog/V16/getpoplog.sh
to use it instead of my .csh script.
And altered the documentation.
I've run the new getpoplog.sh and it all seems to work.
I regret not asking you for help with my original failed version of
getpoplog.sh
(I have never really been a shell programmer: it has mostly been copy and
edit...)
Later I hope to try getting the github version with motif fix and trying
it, following your instructions.
I should later (with your help!) produce a version of getpoplog.sh that
fetches the latest github version, then the packages directory and builds
poplog.
Must sleep now.
Aaron