Solution to proxy issue - how to install packages locally

daniel1124

I think many people on the forum were facing issues of corporate PC firewalls and proxy issues. The solution on trouble shooting page (give -Dhttp.proxyHost -Dhttp.proxyPort) seems to work in some cases but not always (not for mine). After talking with Eric and Joos I figured out how to install packages locally, and would like to share it here. Before that, I want to warn you that this is the suggested way.

1. Download all packages (you need) from http://www.promtools.org/prom6/packageslite11/ for prom_lite or http://www.promtools.org/prom6/packages66/ for prom6. You can use wget or other methods. After this you will have a number of .zip files, the directory structure might look like this

packages_folder/
    BasicUtils/
        BasicUtils-6.5.79-all.zip
        packages.xml
    CNet/
        CNet-6.5.34-all.zip
        packages.xml
    ......
    ......
    packages.xml

Now you need to make changes to the packages.xml files, both the one underneath packages_folder and the ones under each package folder. For the global one, change the url="http://www.promtools.org/......packages.xml" to url="file:packages_folder/some_package/packages.xml", and for each individual package.xml, change url to "file:packages_folder/some_package/zip_file_name.zip". 

This means a lot of changes, so you might want to write a shell script or some program to do that.

2. Move this packages_folder to the directory where you installed your ProM program. Change ProM.ini such that
PACKAGE_URL = file:packages_folder/packages.xml
PROM_USER_FOLDER = .

3. chick ProMLite11.bat and enjoy

hverbeek

To save you the trouble, we now have a zip archive available for the package repository of ProM Lite 1.1. This zip archive can be downloaded from http://www.promtools.org/prom6/downloads/prom-lite-1.1-local.zip.

Once downloaded, please extract its contents (a folder named packageslite11 and a file named ProM.ini) into the folder where you have installed ProM Lite 1.1. As a result, the ProM.ini file as created by the ProM Lite 1.1 installer will be overwritten by the ProM.ini file from the zip archive, but that's how it should be. Then start ProM Lite 1.1, which will then install all packages from the local packageslite11 folder, instead of from the internet. As a result, you should not have any firewall or proxy issues when running ProM Lite 1.1.

The downside of using the solution is that you will not get any package updates. If we fix a bug in a relevant package, then we will of course update our package repository, which will then be available to any ProM Lite 1.1 users that actually use this repository, but not to you as you will be using a local copy of the repository.

hverbeek

Dear all,

There is now another solution to the problem of proxies. You can now first create your own local package repository on your local computer, and then have ProM use your local repository instead of our remote repository. See http://www.promtools.org/doku.php?id=troubleshooting:start&#diy_local_repository for the details.

Kind regards,

Eric.