Eu tentei instalar o smatch, mas estou com alguns erros:
eu fiz:
$ git clone git://repo.or.cz/smatch.git
$ cd smatch
$ make
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
Então eu tentei instalar:
$ sudo apt-get install libgtk2.0-dev
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
libgtk2.0-dev : Depends: libglib2.0-dev (>= 2.27.3) but it is not going to be installed
Depends: libgdk-pixbuf2.0-dev (>= 2.21.0) but it is not going to be installed
Depends: libpango1.0-dev (>= 1.20) but it is not going to be installed
Depends: libatk1.0-dev (>= 1.29.2) but it is not going to be installed
Depends: libcairo2-dev (>= 1.6.4-6.1) but it is not going to be installed
E: Unable to correct problems, you have held broken packages.
Alguma ajuda?
Digite estes dois comandos:
sudo apt-get clean sudo apt-get autoclean
Tente corrigir as dependências quebradas:
sudo apt-get -f install sudo dpkg --configure -a
e insira novamente sudo apt-get -f install .
Isso deve resolver seus problemas de dependência e você pode instalar libgtk2 novamente.