Skip to content

Missing libsndio7.0 dependency #6837

@ShuffleWire

Description

@ShuffleWire

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

  1. Get Webots 2025a .deb from the release page
  2. Install it on a fresh Debian 13 (apt install ....deb)
  3. Installation work correctly
  4. Start webots, it complains about a missing library.
  5. Install libsndio7.0 (apt install libsndio7.0)
  6. 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

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions