wiki:PromotFAQ

Version 5 (modified by kolczyk, 16 years ago) (diff)

--

ProMoT Frequently Asked Questions

How can I run ProMoT using Windows XP/Vista?

The preferred file to start ProMoT is promot.bat. It starts both the Kernel and the GUI. You could also start both parts separately (using promot-server.bat and promot-gui.bat respectively).
The file promot.exe is only used to start the lisp image promot.dxl and will be implicitly called by promot.bat.

How can I install ProMoT from source?

First for compiling the Lisp sources you will need Allegro Common Lisp 8.1.
The free express version is not sufficient as it does not include the required CORBA middleware Orblink.
For the Java sources JDK 1.6.0 will be required.
The configuration is based on automake. You will need to run

  1. configure
  2. make
  3. make install

I get an error message “Promot Session not found, please start server” when starting promot.bat (on Windows) or the promot script (on Linux). What can I do?

In the majority of cases the problem is that the GUI of ProMoT tries to connect the server which is not completely launched. Have a look into the console where the server is started, wait until the Lisp interpreter prompt occurs:

; Publishing this server as Promot000
.....
[changing package from "COMMON-LISP-USER" to "PROMOT-KERNEL"] 
PK(1): 

Now click to “retry” in the error dialog. The GUI should start.
For later starts there are several possibilities: Either you start the server and the GUI from separate scripts (promot-server.bat and promot-ui.bat on Windows / promot-server and promot-ui on Linux) or you edit promot(.bat) and increase the time to wait between server and GUI start in the following line:

(sleep 3;${dir}/promot-ui "$@") &

If this all does not work,

  • make sure that you use java version 6.0,
  • the directory for the binding handle of the server is the same like the one for the GUI:
    ...
    Published server in directory: /home/.../.corba-binding/org/mpg/dcts/promot/.../ 
    ...
    Looking for Server Filebinder uses /home/.../.corba-binding
    ...
    
  • and the hostname on linux does not start with a number (Then you should change the hostname in /etc/hosts).

On a 64-bit system I have installed ProMoT with 32-bit shared library and the 64-bit version of Diana. Will my simulation work?

Yes, ProMoT generates c++ files for your model, which are then compiled using dianac (Diana compiler based on g++/gcc) and simulated with Diana (python).
ProMoT and Diana are independent programs.

I have found a bug, where do I report it?

You can create a new ticket in the ProMoT ticket system.