Re: Clueless with Joe-E and Eclipse
Adrian Mettler <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
Thanks for your interest in Joe-E! Mostly for silly reasons, the release on the website is not compatible with Eclipse 3.4. (It's manifest file declares dependencies on other plugins that it doesn't actually depend on, and which no longer exist in Eclipse 3.4; these have been removed in svn.) There are also a few things that don't work quite right with 3.4 which still need to be fixed. For the time being, you can: - use the most recent release version with Eclipse 3.3 - hack it to load on Eclipse 3.4 by removing the bogus dependencies (but you may encounter 3.4-specific bugs). I can send you a version with the modifed manifest if you like. - wait a few more days I am planning to release a new version very soon (which will also include a command-line verification option) once I fix the bugs that cause unit tests to fail with 3.4. -Adrian Dominique Quatravaux wrote: > Apologies if this is not the right place to ask. I'm trying to use > Joe-E and know nothing about Eclipse (it's like the second time I run > it). I followed the instructions at > http://code.google.com/p/joe-e/wiki/GettingStarted up to the point > where the plug-in is downloaded and Eclipse restarts, and then... > Nothing. There is no Joe-E pane in the Eclipse preferences, and no way > to "enable Joe-E verifier" in projects regardless of the CLASSPATH > settings. > > I'd be happy with a solution that involves running the verifier > directly (as an Ant task or shell command), as I'm more of an Emacs > guy anyway. I hereby promise to add documentation into the Joe-E wiki > if appropriate. > > I'm using Eclipse 3.4.1 (Build id: M20080911-1700) under Mac OS X for > Intel version 10.5.5 (9F33). Any help greatly appreciated. >