[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] Problem starting up PVS
It was me who has suggested the LD_ASSUME_KERNEL work-around. Today
this work-around is not needed, so it should be removed. I do
not know how SRI packages pvs. The problem I have hit is described
A patch to allegro lisp has been supplied at
However, I do not know how to apply this patch to the lisp shipped
with PVS 3.2. I also hope that someone more knowledgable can put
a proper fix into the wiki.
For later versions of Allegro CL setting LD_ASSUME_KERNEL
is not necessary. I suggest to remove my original work-around from
PVS 4.0. I hope this clarifies the situation.
With best regards,
Department for Computer Science
University of Oslo