TLDR
How do I install mupdf-gl on Ubuntu 18.04 (preferably without building from source)?
I have recently started using MuPDF. I tried installing it in a desktop machine with Ubuntu 18.04.3. However, I can only get the X11 version of it. I prefer the one that renders with OpenGL; that's the one I've been using on my laptop. I like it more, but also at this point I just want to know what I'm doing wrong, and learn to do it right :)
What I've done
I first installed MuPDF from the terminal with sudo apt install mupdf. Straightforward. But it wasn't what I expected: I immediately noticed that the keybindings were different.
I checked the version. It was MuPDF 1.12. The most recent version is 1.16. Thinking that might be it, I went looking how to install a more recent version.
I found this UbuntuHandbook post about installing version 1.13. I purged my installation, added their PPA, updated and reinstalled, which got me version 1.14. However, still no luck. When I ran mupdf it still behaved the same way.
Researching my issue, I saw some references to mupdf-gl and mupdf-x11 commands. So I dug among my files. I found that /usr/bin/mupdf runs /usr/lib/mupdf/mupdf-x11. But there's no mupdf-gl to be found.
At this point, I realize that my issue doesn't have to do with the version. Looking at MuPDF's release history I saw that the OpenGL viewer was rolled out on version 1.8.
I haven't tried building the library from source. From what I've seen, it doesn't appear that others are having the same issue installing through the repositories. I even found this Gentoo Forum post by someone who inadvertently was using the OpenGL viewer and was complaining about the old keybindings not working.
If it's relevant, running glxinfo | grep "OpenGL version" in my terminal yields OpenGL version string: 3.3 (Compatibility Profile) Mesa 19.2.8.
This my first post on any Stack Exchange, so any feedback on my format would be much appreciated.