To prevent spam users, you can only join this forum by invitation. If you want to join 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.
On June 4th, we noticed that many discussions were gone from the forum. To fix this, a backup of May 22nd has been restored. As a result, any addition from May 22nd to June 4th is now lost. Please add it again if necessary. Apologies for the inconvenience.
Manual Package installation
  • fatcatfatcat
    Posts: 8

    Hi @ll,


    is there any alternative to install the packages from the packages.xml per hand? The reason for this question is, that I'm behind a proxy and the package manager isn't allowed to download anything.


    Greets
    Stefan

  • JBuijsJBuijs
    Posts: 389
    Hi Stefan,

    You could download the contents (and referred package locations) and update the packages.xml file to point to your local package repository. You should do the following:
    - Download the packages you need manually (open the packages.xml pointed to from you prom.ini file for the location)
    - Create a localised version of the packages.xml pointing to the local location of these packages (remove the ones you don't need of course)
    - update the repository URL in prom.ini to point to your local packages.xml

    I should warn you (and others) however that this is not recommended and/or supported!!!
    Joos Buijs
    Forum Admin
  • fatcatfatcat
    Posts: 8
    Hi Joos,

    thanks a lot, this works.

    Regards
    Stefan
  • jmruizjmruiz
    Posts: 1
    Hi Joos,
    I just read your suggestion to fatcat to install the packages from the packages.xml per hand, but I don't understand the 3 step that you explanied. I am going to describe what I did in each step.
    Download the packages you need manually (open the packages.xml pointed to from you prom.ini file for the location)
    In this case I downloaded the next package AlphaMiner.jar and copy it inside a file I created instalados in C:\Users\admin\.ProM61\instalados
    In this directory there is a file named C:\Users\admin\.ProM61\packages and inside it is the archive packages.xml
    When I opened it this is what it has
    <?xml version="1.0" encoding="iso-8859-1"?>
    <packages>
      <repository url="http://www.promtools.org/prom6/packages61/packages.xml" />
      <installed-packages>
      </installed-packages>
    </packages>
    Here is one of my problem I don't know what to write in there.
    My second problem is I don't know what to write in the archive prom.ini (these are the second and third steps)

    # Specifies which package should be installed
    RELEASE_PACKAGE = AllPackages
    #
    # Specifies the URL to the default package repository
    # (default is "http://www.promtools.org/prom6/packages61/packages.xml")
    PACKAGE_URL = http://www.promtools.org/prom6/packages61/packages.xml
    #
    # Specifies whether ProM is Verbose
    # (possible: "ALL" / "ERROR" / "NONE", defaults to "ALL")
    VERBOSE = ERROR
    #
    # The library folder is relative to the prom installation
    # folder (default is "lib")
    LIB_FOLDER = lib
    #
    # The images folder is relative to the prom library
    # folder (default is "=images")
    IMAGES_FOLDER = images
    #
    # The macro folder is relative to the prom library
    # folder (default is "macros")
    MACRO_FOLDER = macros
    #
    # The prom user folder is NOT relative to the
    # prom installation folder. The (default is empty, in
    # which case the OS handles the location)
    PROM_USER_FOLDER =
    #
    # The package folder is relative to the
    # prom user folder. The (default is "packages")
    PACKAGE_FOLDER = packages
    #
    # The workspace folder is relative to the
    # prom user folder. The (default is "workspace")
    WORKSPACE_FOLDER = workspace
    #
    # Indicate whether or not ProM should serialize the
    # workspace. If switched off, the last serialized
    # workspace will be loaded on each start
    DO_SERIALIZATION = false

    Please I need to undersatnd these steps to start to work with ProM 6.1 in my investigation.

    Greets

    Juan M.





  • JBuijsJBuijs
    Posts: 389
    Hi Juan,

    Unfortunately, as I said in my previous post, this is unsupported. I'm tempted to explain you how this works but solving the original problem (e.g. let the package manager download the packages) is the best solution in the end.
    So, please first check if you can get the package manager to download the packages. This could be a local firewall setting of something on a corporate level. Anyway, this is the best and supported way.
    Joos Buijs
    Forum Admin
Add a Comment

Howdy, Stranger!

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

Sign In Apply for Membership

Categories

In this Discussion

Tagged