lpsxsim hangs on ubuntu 22.04

[mega-explorer]

Dear Members of the mcrl2 Team,

Please help with the following issue.

The lpsxsim tool hangs on my system. I am trying a simple hello world model

act
  sayHello, sayWorld;
proc
  P1=sayHello;
  P2=sayWorld;
init
  P1||P2;

When I press Simulate Specification, the LpsXSim window opens and is active. Then I double click on an action, e.g., sayHello, and the window turns gray and inactive. In addition, I get Warning: QMetaMethod::invoke: Unable to handle unregistered datatype 'std::size_t' ((null):0, (null))

System: Ubuntu 22.04.5

$ mcrl22lps --version mcrl22lps mCRL2 toolset 202407.1 (Release)

$ dpkg -l qt6-base-dev ... qt6-base-dev:amd64 6.2.4+dfsg-2ubuntu1.1 amd64 Qt 6 base development files

Perhaps this is a dependency issue. What is the recommended way to deal with dependencies in case of mcrl2?

[mlaveaux]

Is this still an issue when you try the latest nightly build (https://mcrl2.org/web/home/download.html#nightly-build or compile the latest master branch)? In principle for mCRL2 package installations the dependencies should be handled by the package manager themselves, and if you want to compile from scratch on Ubuntu the listed packages should be fine since those are also the ones that we use in the CI.

[mega-explorer]

Tried the nightly build $ lpsxsim --version LpsXSim mCRL2 toolset 202407.1.3c36707a1e (Release)

With it, this is no longer an issue: Double-clicking works fine, no Qt warnings.

[mega-explorer]

As for the dependencies, I initially had the following issue: After I installed the PPA version of mCRL2, I was unable to run, e.g., mcrl2ide: It was crashing immediately after the launch. Then I installed the qt6-base-dev package, and the crashing disappeared.

[mlaveaux]

I suppose not all dependencies of qt6-base-dev should be necessary since that is the development package, but perhaps some dependency has been omitted from the .deb file causing crashes. I will have to investigate.

[mlaveaux]

I was able to run mcrl2ide installed from the PPA on a fresh Ubuntu VM (with the latest version). There might be slight differences in which packages are installed by default for different Ubuntu versions, but I am not sure that we should depend on the full qt6-base-dev unless strictly necessary.