Actually, the situation is a little more complicated and is probably
my fault.
The problem was partly a side effect of the way in which I tried to
set up gretl. I started with the repository version (1.8.1) which
installed without problem. Then, I tried to update to 1.8.5 using
the Debian version, but that didn't work. Finally, I compiled the
whole program and ran "make install" which led to the problem I described.
Now I have cleared everything out - including version 1.8.1 - and
find that I have got gretlcli, but not gretl-x11. I suspect that the
problem is some more missing libraries. What are the exact Gnome,
GTK & GTK sourceview libraries required for the GUI version of
gretl? By default, Ubuntu installs general libraries but not the dev
versions. At the moment the configure output says that Gnome, GTK
and GTKsourceview are not available.
Gordon