Fixinstall

Fix install to address #159 
@grosu please review
OK.  But we need all those, right?

Grigore


________________________________
From: seriousamlqz [notifications@github.com]
Sent: Wednesday, October 29, 2014 1:52 PM
To: runtimeverification/javamop
Cc: Rosu, Grigore
Subject: Re: [javamop] Fixinstall (#163)


In INSTALL.md:

>     calling `ajc` in a terminal.
>
> - * Also ensure that `<Path-to-AspectJ_HOME>/lib/aspectjrt.jar`,
> -   `<Path-to-AspectJ_HOME>/lib/aspectjweaver.jar` and
> -   `<Path-to-AspectJ_HOME>/lib/aspectjtools.jar` are in your
> + * Also ensure that `<AspectJ_HOME>/lib/aspectjrt.jar`,
> +   `<AspectJ_HOME>/lib/aspectjweaver.jar` and
> +   `<AspectJ_HOME>/lib/aspectjtools.jar` are in your
>     CLASSPATH.


I just tried aspectJ and it asked people to put lib/aspectjrt.jar in CLASSPATH. I think it is safer to use specific jars here.
…
On Wed, Oct 29, 2014 at 1:49 PM, Grigore Rosu <notifications@github.com> wrote: In INSTALL.md: > calling `ajc` in a terminal. > > - * Also ensure that `<Path-to-AspectJ_HOME>/lib/aspectjrt.jar`, > - `<Path-to-AspectJ_HOME>/lib/aspectjweaver.jar` and > - `<Path-to-AspectJ_HOME>/lib/aspectjtools.jar` are in your > + * Also ensure that `<AspectJ_HOME>/lib/aspectjrt.jar`, > + `<AspectJ_HOME>/lib/aspectjweaver.jar` and > + `<AspectJ_HOME>/lib/aspectjtools.jar` are in your > CLASSPATH. I think, but I'm not sure, that the AspectJ installer recommends people to put /lib in their CLASSPATH. Can't we do the same to keep this simpler? — Reply to this email directly or view it on GitHub <https://github.com/runtimeverification/javamop/pull/163/files#r19562639>.
-- 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#r19562860>.