Você pode instalá-lo provavelmente mais facilmente usando os arquivos .deb
fornecidos nesse site de download. Abra um terminal () e dependendo da sua arquitetura (64 bits ou 32 bits) escolha os comandos certos, eu coloco comentários sobre eles:
# 64-bit
wget http://131.123.42.38/lmcrs/beta/srcML-Ubuntu12.04-64.deb
sudo dpkg -i srcML-Ubuntu12.04-64.deb
# 32-bit
wget http://131.123.42.38/lmcrs/beta/srcML-Ubuntu12.04.deb
sudo dpkg -i srcML-Ubuntu12.04.deb