search

GetPoplog / Seed

Scripts for getting Poplog onto your Linux machine
MIT License
7 stars 3 forks source link

The command "poplog ved" mishaps and does not open ved #132

Closed sfkleach closed 1 year ago

sfkleach commented 1 year ago

Repro steps

steve@ijsberg% poplog ved
$HOME/.poplog/init.p

;;; MISHAP - UNDECLARED VARIABLE
;;; INVOLVING:  vedautosave_preserve 
;;; FILE     :  /home/steve/.poplog/vedinit.p   LINE NUMBER:  10
;;; PRINT DOING
;;; DOING    :  -> trycompile 

Setpop
:

Analysis

The environment variable pop_ved is not correctly established by the poplog commander. 

steve@ijsberg% env | grep ved
popvedlib=/usr/local/poplog/V16/pop/lib/ved
pop_xved=-/usr/local/poplog/V16/pop/lib/psv-xm/startup.psv +/usr/local/poplog/V16/pop/lib/psv-xm/xved.psv
pop_ved= :sysinitcomp();ved

The last line should be:

pop_ved=-/usr/local/poplog/V16/pop/lib/psv-xm/startup.psv :sysinitcomp();ved

The cause is that the file makePopEnv.sh had a typo:

pop_ved="$po_pop11 :sysinitcomp();ved"; export pop_ved