[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] OSX, Java 7

On 21.01.2015 16:09, cha...@xxxxxxxxx wrote:
> Is there a way to run the toolbox on OS X Yosemite *without*
> installing Java 6?  I understand it's an Eclipse issue (and I'm not
> an Eclipse user).  I'd rather not install Java 6 just for that if I
> can run the toolbox with Java 7 on OSX.  Has anyone been successful
> with that?


you can try our Toolbox build [1] that is based on a newer Eclipse
release. My expectation is, that it works with Java 7 on Yosemite. I
don't have access to Yosemite myself though, thus I can't check if this
is actually true.

Also keep in mind that this build should be considered early access. If
you want the most stable Toolbox available, I am afraid you will have to
downgrade to Java 6 for now and use the regular Toolbox.


[1] http://tla.msr-inria.inria.fr/kuppe/e4/products/