Fixinstall

Fix install to address #159 
@grosu please review
I have no idea what you are saying and why you are saying it.

Grigore


________________________________
From: seriousamlqz [notifications@github.com]
Sent: Wednesday, October 29, 2014 1:45 PM
To: runtimeverification/javamop
Cc: Rosu, Grigore
Subject: Re: [javamop] Fixinstall (#163)


In INSTALL.md:

>
>  * To make sure java is installed properly, run `java -version` from a
> -  terminal.
> +  terminal. Also if you need to use agent in JavaMOP, also make sure
> +  `jar` is in your `PATH`.


Previously if you only install JRE, jar in not included in "bin". So I change it to JDK.
…
On Wed, Oct 29, 2014 at 1:45 PM, Grigore Rosu <notifications@github.com> wrote: In INSTALL.md: > > * To make sure java is installed properly, run `java -version` from a > - terminal. > + terminal. Also if you need to use agent in JavaMOP, also make sure > + `jar` is in your `PATH`. And can you have java in your path, but not jar? — Reply to this email directly or view it on GitHub <https://github.com/runtimeverification/javamop/pull/163/files#r19562297>.
-- Qingzhou Luo http://mir.cs.illinois.edu/~qluo2/ Department of Computer Science University of Illinois, Urbana Champaign

—
Reply to this email directly or view it on GitHub<https://github.com/runtimeverification/javamop/pull/163/files#r19562369>.