On Mon, Aug 10, 2015 at 2:11 PM, Shraddha Barke <shraddha.6596@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