Fixinstall

Fix install to address #159 
@grosu please review
Yes, we need all those jars, mostly for agent.

On Wed, Oct 29, 2014 at 2:01 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.
>
> 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 <https://github.com/runtimeverification/javamop/pull/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>.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/runtimeverification/javamop/pull/163/files#r19563527>.
>



-- 
Qingzhou Luo
http://mir.cs.illinois.edu/~qluo2/

Department of Computer Science
University of Illinois, Urbana Champaign