[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] starting script
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