There's no gretl.lang in none of the folder you mentioned. Is this the problem?

Alessandro Astuti

Il 30/03/2014 10:46, Allin Cottrell ha scritto:
On Sun, 30 Mar 2014, Alessandro Astuti wrote:

I just typed sudo apt-get install gretl on the terminal
Ah, then it seems there's something wrong with the build on Debian 
testing. Can you check if gretl.lang is installed? For highlighting to 
work, it should be in


It might be worth seeing if the wrong version was installed; that is, if 
there's a gretl.lang in


I don't run Debian myself -- can anyone else comment on this?

Allin Cottrell

Il 29/03/2014 23:52, Allin Cottrell ha scritto:
On Sat, 29 Mar 2014, Alessandro Astuti wrote:

I had this:

   ldd /usr/bin/gretl_x11 | grep gtk => /usr/lib/
   (0x0000003f6d000000) =>
   /usr/lib/x86_64-linux-gnu/ (0x0000003f6d400000)
Hmm, I wonder why those libraries are in different directories?

Anyway, did you build gretl yourself? I wonder if something went wrong
with "make install", in particular the sub-target "make install-lang"
in the gui2 directory: that installs the gretl.lang file that is needed
for gretl's syntax highlighting.
Gretl-users mailing list