MiniZinc / MiniZincIDE

The MiniZinc IDE
http://www.minizinc.org
Mozilla Public License 2.0
144 stars 22 forks source link

No libEGL library in 2.7.2 AppImage #175

Closed artsiomkaltovich closed 1 year ago

artsiomkaltovich commented 1 year ago

Hello. I am sorry it this is not correct place for this issue, or this isn't issue at all.

Description: I use minizinc appimage distribution in ci for one of my project, and it failed with error:

UNEXPECTED EXCEPTION: MiniZincError('/tmp/.mount_miniziMxUR6D/usr/bin/fzn-gecode: error while loading shared libraries: libEGL.so.1: cannot open shared object file: No such file or directory')

E.g. https://github.com/ArtyomKaltovich/zython/actions/runs/4632415355/jobs/8196445948#step:10:609

This error was fixed by adding sudo apt-get install libegl1 in my ci script, is it expected?

Steps to Reproduce:

Expected Behavior:

Actual Behavior:

artsiomkaltovich commented 1 year ago

Update: It seems 2.7.0 isn't affected, as well as any version before. I haven't tested 2.7.1

cyderize commented 1 year ago

Hi, this is because we have upgraded the Linux packages to use Qt6 which now requires libEGL. This library is blacklisted by linuxdeploy because it is system/graphics driver specific.

Unfortunately CI environments often don't have this library because they are headless, so installing it with apt-get install libegl1 is the right fix I think.

In the next release we may investigate packaging libEGL manually and only using it if not present on the system, but I'm not sure if this would actually work.