Fixinstall

Fix install to address #159 
@grosu please review
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