Re: [Javapathfinder-user] Can not run JPF

[John P. <joh...@gm...>]

Hi Pratibha,

it sounds like it may be having trouble finding your java installation - tr=
y
running it as >java gov.nasa.jpf.jvm.JPF and see what you get.

John

On 2/17/06, Pratibha Permandla <pra...@gm...> wrote:
>
> HI,
>
>   I am totally new to JPF. I have installed JPF . The ant run-tests works
> fine and I have set all the classpath and path variable. But when I run
> bin/jpf : it says command not found in TCSH shell. WHen I do it Bash shel=
l,
> it says bad interpretor: no such file or directory. Could somebody please
> give me some pointers regarding this.
>
> Thanks very much
>
>