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.

Adding plug-ins when already using prom

ke1th0ma5
ke1th0ma5
in - Usage
I've been using prom for a while and now I want to add some more plug-ins. I have used plug in manager but the plug-ins don't show up in prom. Is this because plug-ins installed by package manager only load when starting prom for the first time? I've tried uninstalling prom and reinstalling to see if that helps but I haven't figured out how it get all my newly installed plug-ins to appear in an already installed prom.

Comments

  • hverbeek
    hverbeek
    Hi,

    Every time ProM starts, it will scan all packages for plugins. Using the Package Manager, you can install more packages. After having installed more packages, if you start ProM, it will scan the packages that you have just installed. No problems here.

    In the ProM.ini file, you can configure which plug ins should be shown by ProM. Basically, every plug in has a level, and in the ProM.ini file you can specify a threshold for this level. The line in the ProM.ini file looks like follows:
    PLUGIN_LEVEL_THRESHOLD = PeerReviewed
    Acceptable values for this threshold are (from low to high) Local, NightlyBuild, Regular, PeerReviewed, and BulletProof. The lower you set this threshold, the more plug ins will show. A regular release (like 6.10) will have this level set to Regular, a ProM Lite release will have it set to PeerReviewed.

    Kind regards,
    Eric.

Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion