Fixinstall

Fix install to address #159 
@grosu please review
Then put a note when asking JDK instead of Java, saying that AspectJ, below, requires JDK.

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:

> @@ -10,36 +10,36 @@ To use JavaMOP you need JRE, AJC and RV-Monitor.
>
>  1. JRE
>
> - Java Runtime Environment version 7 or higher (http://java.com/en/download/index.jsp)
> + Java Development Kit (JDK) version 7.0.0 or higher


No, ajc requires you to install Java first.
…
On Wed, Oct 29, 2014 at 1:42 PM, Grigore Rosu <notifications@github.com> wrote: In INSTALL.md: > @@ -10,36 +10,36 @@ To use JavaMOP you need JRE, AJC and RV-Monitor. > > 1. JRE > > - Java Runtime Environment version 7 or higher (http://java.com/en/download/index.jsp) > + Java Development Kit (JDK) version 7.0.0 or higher So ajc does not include javac? I thought that ajc also compiles the .java files included by .aj files, doesn't it? — Reply to this email directly or view it on GitHub <https://github.com/runtimeverification/javamop/pull/163/files#r19562125>.
-- 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#r19562300>.