[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Dec 15 21:04:52 2001 
Subject:Thirty years of frustration (:-/)... 
From:Pete Goodeve 
Volume-ID:1011215.01 



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 --