To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

Trying to execute ProM from Eclipse

kostismvkostismv Posts: 10
edited February 2020 in - Development
Hello,

I have followed the instructions from here: https://svn.win.tue.nl/trac/prom/wiki/ManuallyCheckingOutProM
Afterwards the project displays several errors, all of which are associated with import statements( and therefore lack of library jars). How can I resolve this issue?

Thanks in advance!

Post edited by kostismv on

Comments

  • hverbeekhverbeek Posts: 783
    Hio,

    Please install the IvyDE add-on in Eclipse.

    ProM relies on Ivy to resolve dependencies between different packages. If one package depends on another package, then it is Ivy who downloads the other package. If you do not have Ivy,then the other package will not be downloaded, and all containing classes will be missing. IvyDE is an add-on to Eclipse that enables Ivy in Eclipse projects.

    Kind regards,
    Eric.
  • I have already installed IvyDe but there doesn't seem to be an ivy.xml file( no option to resolve dependencies when right-clicking on the ProM project in eclipse)
  • hverbeekhverbeek Posts: 783
    Hi,

    Which project did you use? Please do not use the ProM project. That project is only used for the Nightly Builds. You could use the ProM-Plugins project instead. That should work, that uses Ivy.

    Apologies if the documentation is not entirely up-to-date.

    Kind regards,
    Eric.
  • Thank you for your help and appreciate the immediate response time! So instead of checking out from "https://svn.win.tue.nl/repos/prom/Framework/trunk/" , where should I checkout from?


  • hverbeekhverbeek Posts: 783
    Hi,


    In general, if you want to check out a package named ABC, then you can check it our from https://svn.win.tue.nl/repos/prom/Packages/ABC/Trunk. In this respect, the four framework projects (ProM-Framework, ProM-Contexts, ProM-Models, and ProM-Plugings) act as packages as well.

    Note that if you want to work on a certain topic, and if that topic has a dedicated package, then it may be better to check out that package. For example, if you wan tto work on the Alpha Miner, it woudl be better to check out https://svn.win.tue.nl/repos/prom/Packages/AlphaMiner/Trunk.

    Kind regards,
    Eric.



Sign In or Register to comment.