Am 21.10.23 um 01:51 schrieb Bastian Germann:
The GTK GUI can be dropped by replacing the build dependency libgtk2.0-dev with libglib2.0-dev, and by excluding src/gtk from make's SUBDIRS.
The emu8051.desktop and the emu8051-gtk.1 link should be removed then as well.