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

[PVS-Help] starting script

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 ?


ASCOLA, Mines de Nantes - INRIA
+ 33 2 51 85 82 05