IvyDE in Eclipse

sab99

Dear all,

this is my first try to create a ProM Plugin myself and I struggle with the setup. Unfortunately the IvyDE project was archived and can therefore no longer be installed using Eclipse Marketplace. I also tried adding the .jar files manually to eclipse as they suggest on their website but Eclipse seems to not find them. I also tried the "Install New Software" function to add the .jar files but I get the error message "Could not find jar file".

Does anyone know another way to enable IvyDE in Eclipse?

Thanks in advance!

hverbeek

Hi,

A way to have IvyDE enabled in Eclipse is to copy the Eclipse folder from someone who has IvyDE enabled in Eclipse. Possibly, you also need to install a version of Java that matches that copy of Eclipse.

I faced the same issue. In more recent versions of Eclipse, it seems impossible to have IvyDE enabled. For this reason, I keep a copy of Eclipse 2018-09 with IvyDE enabled, copy that where needed, and make sure I have Java 8 installed (ProM works best with Java 8).

Kind regards, Eric.

sab99

Thanks for th answer Eric!

I also tried the older Eclipse versions with Java 8, unfortunately it did not work. Is there a way to get this copy from an Eclipse folder with IvyDe already enabled?

And do you know if there are up-to-date documentations or tutorials available for setting up ProM development? Most are outdated and refer to documents or packages that are not available anymore since ProM transferred to github.

Thanks in advance!

Kind regards, Sabrina

hverbeek

Hi Sabrina,

As far as I know, unfortunately, installing IvyDE in Eclipse simply does not work anymore. If you can find a colleague which already has IvyDE installed in Eclipse, then it may be an idea to copy this installation of Eclipse from your colleague. If this does not work, then the only option left is to copy my installation of Eclipse, but then the question is how to get that copy (about 270 MB) to you.

Most of the documentation was lost because our SVN server was retired. On https://promtools.org/development/documentation/ you will find some of the documentation that was saved. However, this is not a lot.

Regarding the packages: Only the packages that were still under development were copied to GitHub. For the other packages, we only keep the latest released version on GitHub, see https://github.com/promworkbench/Releases/tree/main/Packages. These releases do contain the sources as well. As a result, if you want to browse the sources of a package, simply download the package and extract the contents. We did save all Eclipse projects for all packages. If need be, the latest version of a package can be turned into a repository on GitHub. As this requires some effort, we only do this when development is needed on that package.

Kind regards, Eric.

sab99

Hi Eric,

thank you so much for your quick and detailed answer and the offer of your Eclipse installation!

I see, that explains why I could not find the other documents and packages, thank you for the explanation!

Right now, I try out to use Intellij instead and I think it is working actually, so hopefully I won't need Eclipse then. I found the "NewPackageIvy" repo that should be a template for the directory structure, so right now I try this out.

Kind regards, Sabrina