= ProMoT Frequently Asked Questions =

[[PageOutline]]

== 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). [[BR]]
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 [http://www.franz.com/products/allegrocl/ Allegro Common Lisp 8.1]. [[BR]]
The free express version is not sufficient as it does not include the required CORBA middleware '''Orblink'''. [[BR]]
For the Java sources JDK 1.6.0 will be required.[[BR]]
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: [[BR]]

{{{
; 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.  [[BR]]
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:  [[BR]]

{{{
(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). [[BR]]
ProMoT and Diana are independent programs.

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

You can create a new ticket in the [http://promottrac.mpi-magdeburg.mpg.de/trac/newticket ProMoT ticket system].