Tama McGlinn

I expect the instructions are very much incomplete; they should state what to change about the gpr file. Or better, if someone can figure this out, add a new template so the we can do gnoga_make new MyNewApp native_gtk

In gnoga's Makefile, I replaced libwebkit2gtk-3.0-dev with libwebkit2gtk-4.0-dev and then make native_gtk works. However, when subsequently modifying the gnogacmd project as specified to launch a gtk window, I first get the error that gnoga_gtk_window.o is missing, which can be solved by copying gnoga/obj/* into the project's own obj/ directory, and then I get this error: /opt/GNAT/2020/bin/../libexec/gcc/x86_64-pc-linux-gnu/9.3.1/ld: cannot find -lwebkit2gtk-3.0 /opt/GNAT/2020/bin/../libexec/gcc/x86_64-pc-linux-gnu/9.3.1/ld:...

Debian doesn't have libwebkit2gtk-3.0-dev

It is customary when using git to have the master branch point at the latest stable branch. Is there any reason not to for gnoga?

I'm on dev_1.6 branch, commit a3deffc3e6e. Every prior tutorial worked as expected.

tutorial_09: accessibility check failed in gnoga-gui-view.adb:273