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

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.