[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] starting script



Hi Jean-Claude,

It looks to me like you're using csh or tcsh as your shell - in this case
you need to change the line

PVSEMACS="LD_ASSUME_KERNEL=${LD_ASSUME_KERNEL} ${PVSEMACS}"

to

PVSEMACS="setenv LD_ASSUME_KERNEL ${LD_ASSUME_KERNEL}; ${PVSEMACS}"

Let me know if this works, and I'll make the change permanent.

Thanks,
Sam

Jean-Claude Royer <Jean-Claude.Royer@mines-nantes.fr> wrote:

> Hi all
> I have the LD_ASSUME_KERNEL problem on my Mac with Snow Leopard.
> I try the various solutions I found on the help archive or google, the script seems already
> integrates these tricks.
> Unfortunately it does not work.
> 
> /Applications/pvs-4.2-ix86-MacOSX-allegro$ pvs -emacs xemacs
> ./pvs: line 367: LD_ASSUME_KERNEL=: command not found
> 
> Do you have a solution ?
> 
> regards
> 
> Jean-Claude.Royer@mines-nantes.fr
> ASCOLA, Mines de Nantes - INRIA
> + 33 2 51 85 82 05