Just so you know the background (:-/): I first came across the 'Silver
Book' by Burstall and Popplestone in our local library [Finchley] as a
kid, and was captivated by the ideas in POP-2. Ever since then I've been
trying to get my hands on a working system that I could actually *use*.
I was therefore delighted to find that poplog is now freely available for
Linux, so I downloaded a copy. However, my frustration continues...
I unpacked the tarball (into ~/POPLOG/v1553) and did a 'setenv usepop...'
to that, followed by 'source $usepop/pop/com/poplog', but any attempt
to run anything just gets "Command not found". This happens even if
I try to run from the directory containing the executables:
>cd $usepop/pop/pop
>ls -l pop11
-rwxr-xr-x 12 pete users 1861234 Aug 21 2000 pop11*
>./pop11
./pop11: Command not found.
Can someone please give me a clue as to what might be going on?
This does happen to be an older RedHat Linux, but I'd have thought
a crash (rather than 'not found') would be mre likely if there was
a problem there. I can do a printenv and see all the 'pop...' environment
variables apparently correct. I do *not* have an X window connection
-- just a command line shell -- as I am running remotely. (I made sure
to download the non-Motif version)
Please help. I'd love to satisfy that 30-year thirst!
-- Pete --
|