search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
190 stars 50 forks source link

Broken installation with installer #270

Closed bartlomiejkrolikowski closed 2 years ago

bartlomiejkrolikowski commented 2 years ago

Description of the problem

After installing latest version of Coq I get the following message:

(coqide.exe:12032): GdkPixbuf-WARNING **: Cannot open pixbuf loader module file 'C:\Coq-Platform\~8.15\~2022.04\lib\gdk-pixbuf-2.0\2.10.0\loaders.cache': No such file or directory

This likely means that your installation is broken. Try running the command gdk-pixbuf-query-loaders > C:\Coq-Platform\~8.15\~2022.04\lib\gdk-pixbuf-2.0\2.10.0\loaders.cache to make things work again for the time being.

the same with lower version:

(coqide.exe:4012): GdkPixbuf-WARNING **: Cannot open pixbuf loader module file 'C:\Coq-Platform\~8.14\~2022.04\lib\gdk-pixbuf-2.0\2.10.0\loaders.cache': No such file or directory

This likely means that your installation is broken. Try running the command gdk-pixbuf-query-loaders > C:\Coq-Platform\~8.14\~2022.04\lib\gdk-pixbuf-2.0\2.10.0\loaders.cache to make things work again for the time being.

running presented commands does not help there is no directory "gdk-pixbuf-2.0" in "C:\Coq-Platform\~8.15\~2022.04\lib"

Coq Version

8.15.2 and 8.14.2 (installed with binary installer "Coq-Platform-release-2022.04.1-version_8.15_2022.04-arch-x86_64_signed.exe" on Windows 10 Home)

MSoegtropIMC commented 2 years ago

This is a duplicate of (https://github.com/coq/platform/issues/212).

As mentioned there, CoqIDE doesn't use any dynamic pixbuf loaders (it doesn't load JPEG images and the like), so this does not hurt. Of course one could add them to silence the warning.

If you have any other issue with CoqIDE (say that it actually does not work), please create an issue describing the symptoms.