Gostaria de saber se alguém tentou instalarPAPIno Ubuntu 16.04? Tenho problemas ao executar o comando make e make testes também abortam com mensagem dizendo "core aborted". Obrigado
Responder1
Tente usar:
sudo apt-get update
sudo apt-get install papi-tools