search

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
http://www.uppaal.org
1 stars 0 forks source link

Deb package does not work when installed in Pop!_OS #248

Closed atjn closed 9 months ago

atjn commented 9 months ago

Describe the bug If you install UPPAAL in Pop!_OS via the deb package, the application will not launch.

To Reproduce The following video shows UPPAAL being installed in a completely fresh Pop!_OS installation, running in a VM.

https://github.com/UPPAALModelChecker/UPPAAL-Meta/assets/20535393/eb34929a-64f8-4133-acd5-89d3a2ed1532

Expected behavior The application launches.

Version(s) of UPPAAL tested 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21

Screenshots See above video

Desktop (please complete the following information):

Additional context Pop!_OS:

It seems like the UPPAAL process is never started or quickly encounters a fatal error, because when I try to launch it, I cannot find the process in my resource manager.

If I download the zip package and follow the installation instructions for Linux, the zip application can launch and works as expected.

mikucionisaau commented 9 months ago

Thank you for the report! The OS-specific packages are still experimental.

It seems that the issue is with libc version in the launcher :-( Here is how to diagnose it:

strace /opt/uppaal/bin/uppaal-5.0.0

which crashes briefly after loading /lib/x86_64-linux-gnu/libc.so.6

A workaround is to launch Uppaal directly:

/opt/uppaal/lib/app/uppaal

A working desktop shortcut can be created by running AddLinks.sh (same as with ZIP):

/opt/uppaal/lib/app/AddLinks.sh

Then Uppaal-5.0.0 icon should appear on your Desktop: right-click on it and choose Allow Launching, then double click to run.

Now I have re-generated the deb and rpm packages on Ubuntu-22.04 LTS, so the launching issue should be fixed if you download again, albeit I am not sure the Pop!_OS.

Ubuntu-22.04-LTS uses GLIBC 2.35 (check by running /lib/x86_64-linux-gnu/libc.so.6 --version), so it should work with anything newer and likely to crash with older.

I would appreciate any follow up comments.

atjn commented 9 months ago

Thank you for looking into it! I just downloaded the new package and it works perfectly in the Pop!_OS VM.