On Thu, Aug 20, 2020 at 03:05:21AM +0100, Aaron Sloman wrote:
> 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.
Yes, this version works for me. There are two minor glitches.
chmod 744 build_all.sh
means that script is readable by everyone, but executable only
by owner. This works here, but doing the same for scripts
in multiuser installation would lead to failure. I would
use
chmod 755 build_all.sh
(readable and executable by everone, writable only by owner).
In the last 'wget' line, wget is doubled, which produces
error message.
--
Waldek Hebisch
