|Should anybody be interested, BBC BASIC for Linux (86) version 0.07a is now available for download from the usual place. This contains the changes that were necessary to make it work under Android (86), most importantly switching OpenGL from single-buffering (which seems not to be supported in Android/SDL) to double-buffering.|
This change had a number of significant consequences, not least revealing a very nasty bug in SDL 2.0.3 (which, on investigation, proved to be a known issue). I've had to incorporate a very ugly workaround for this bug, which will break if and when the bug is fixed (it would appear not to have been fixed in SDL 2.0.4).
Version 0.07a has not been extensively tested in Linux so apologies in advance if something which used to work no longer does. Please let me know if that is the case.