Executar rpm -qf /usr/local/php-7.1.16/bin/php
.
Se responder com:
file /usr/local/php-7.1.16/bin/php is not owned by any package
então você tem certeza de que o arquivo não foi instalado usando qualquer ferramenta de gerenciamento de pacotes RPM.
Como outros já disseram, o fato de ele estar instalado em /usr/local
indica que definitivamente não é instalado a partir dos pacotes padrão da distribuição. Pode ser instalado usando make
ou pode ser algum RPM de terceiros.
A única maneira de (um pouco) confirmar positivamente que os arquivos foram instalados com make
seria encontrar uma árvore de código fonte do PHP 7.1.16 no sistema, com .o
ou outros arquivos de código objeto presentes (= indicando que a fonte foi realmente compilada) e seus timestamps estão próximos dos timestamps do binário PHP em /usr/local/php-7.1.16/bin/php.