Prom6.10 installation problems

YangZhang

Hello, I encountered the following problem when installing prom6.10. How can I solve this problem?

hverbeek

Hi,

As far as I know, this exception sometimes occurs when starting either ProM or the Package Manager. The exception seems harmless, as ProM or the Package Manager do function as usual even with this exception.

Did ProM or the Package Manager function in your case, or did nothing happen after this exception?

Kind regards,

Eric.

YangZhang

Hi,Eric，However, when I run a project in Eclipse, the following errors always appear. What is the reason for this?

hverbeek

Hi,

Please check your ProM.ini file for the line that sets PACKAGE_URL. This should be set to a valid master package file, like http://www.promtools.org/prom6/packages610/packages.xml for the master package file of the ProM 6.10.

If valid, please check using your favorite browser whether you can open this master package file.

Are you now trying to run ProM 6.10 using Eclipse, or are you trying to run Prom from a package that you have imported from our SVN repository?

Kind regards,

Eric.

YangZhang

Hi,Eric,after I import the project from SVN, I run the project in Eclipse, and then this screen will appear.

hverbeek

Hi,

Which project are you importing?

In the root folder of the project, there should be a ProM.ini file. Please check that file for the PACKAGE_URL.

Kind regards,

Eric.

YangZhang

Hi,
I have solved the problem. It seems that there is a problem with the Ivy plug-in URL provided on the prom website and it is disabled. Through Prom nightly build https://svn.win.tue.nl/trac/prom/browser/Nightly The Prom Package Manager Downloads all packages. The default address is C: \ users \ Lenovo \. Prom. Here, the latest Prom nightly build version can be used to ensure that the latest packages are imported. Then, modify the package in prom.ini_ URL = file:///C:/Users/Lenovo/LocalProMPackages Where localprompackages is the storage address of packages. In this way, each time you start prom, you will not download packages from the original online and call the locally stored packages.
Thank you again, Eric.
Kind regards,
YangZhang