-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Open
Description
Describe the Bug
I'm installing Webots 2025a on Debian 13, and I've found that libsndio7.0 is missing from the dependencies. I'd to install it manually.
Steps to Reproduce
- Get Webots 2025a .deb from the release page
- Install it on a fresh Debian 13 (apt install ....deb)
- Installation work correctly
- Start webots, it complains about a missing library.
- Install libsndio7.0 (apt install libsndio7.0)
- Start webots, everything work fine.
Expected behavior
I wish Webots would pull that library as well during install.
I guess that on Ubuntu, this library is somewhat already installed.
Having this dependency added would ensure unofficial support OOTB for the Debian platform, and I would argue that it's a very minor thing to add.
For information, I've been running Webots :
- Personally and professionally for 5 yes,
- Using 4 different machines,
- Using Debian 11, 12, 13
- Using many version from 2021b to 2025a
- Using a various combination of CPU / GPU, even a 12 years old iGPU.
- Using manually build from source and the deb packages
I would argue that it make a good coverage of the issues would might meet when running more officially on Debian, and I think that could enlarge the user base.
I think that Webots could almost claim ((un)official) Debian compatibility, but it's at least at least fix the small bit that make it work OOTB, imo
System
- Operating System: Debian 13
- Webots 2025a
Metadata
Metadata
Assignees
Labels
No labels