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 > > /usr/share/gtksourceview-2.0/language-specs/ > > It might be worth seeing if the wrong version was installed; that is, if > there's a gretl.lang in > > /usr/share/gtksourceview-3.0/language-specs/ > > 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 >>>> libgtksourceview-2.0.so.0 => /usr/lib/libgtksourceview-2.0.so.0 >>>> (0x0000003f6d000000) >>>> libgtk-x11-2.0.so.0 => >>>> /usr/lib/x86_64-linux-gnu/libgtk-x11-2.0.so.0 (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 > Gretl-users(a)lists.wfu.edu > http://lists.wfu.edu/mailman/listinfo/gretl-users
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 terminalAh, 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 /usr/share/gtksourceview-2.0/language-specs/ It might be worth seeing if the wrong version was installed; that is, if there's a gretl.lang in /usr/share/gtksourceview-3.0/language-specs/ I don't run Debian myself -- can anyone else comment on this? Allin CottrellIl 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 libgtksourceview-2.0.so.0 => /usr/lib/libgtksourceview-2.0.so.0 (0x0000003f6d000000) libgtk-x11-2.0.so.0 => /usr/lib/x86_64-linux-gnu/libgtk-x11-2.0.so.0 (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 gretl-us...@lists.wfu.edu http://lists.wfu.edu/mailman/listinfo/gretl-users |