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.