Smatch installation error

Jim Davis jim.epost at gmail.com
Tue Aug 11 14:10:22 EDT 2015


On Mon, Aug 10, 2015 at 2:11 PM, Shraddha Barke <shraddha.6596 at gmail.com> wrote:
> I tried to install smatch but I'm getting some errors:
>
> First I did : git clone git://repo.or.cz/smatch.git
> Then : cd smatch
> When I run : make .. I get the following error
>
> Makefile:107: Your system does not have libgtk2, disabling test-inspect
>      LINK     sparse-llvm
> /usr/bin/ld: cannot find -ledit
> collect2: error: ld returned 1 exit status
> Makefile:211: recipe for target 'sparse-llvm' failed
> make: *** [sparse-llvm] Error 1
>
> So I tried to install : sudo apt-get install libgtk2.0-dev

But the error is from trying to link sparse-llvm, so libgtk probably
isn't involved.

You don't mention the operating system you are using, but on my Ubuntu
15.04 desktop I can get past that link error if I install the
libedit-dev package.

-- 
Jim



More information about the Kernelnewbies mailing list