Compilando extensões Pecl com a versão certa do PHP

gistfile1.txt

# São utilizadas dois bins para definir destino e parâmetros de compilação: /usr/bin/php-config e /usr/bin/phpize.
# Considerando que php7.1-dev e php7.2-dev estejam instalados, para confirmar que irá ser compilado para PHP 7.1:
# considerando que ppa:ondrej esteja instalado:

$ sudo apt install php7.1-dev php7.2-dev
$ sudo update-alternatives --set php-config /usr/bin/php-config7.1
$ sudo update-alternatives --set phpize /usr/bin/phpize7.1

$ sudo php-config
$ sudo phpize -v

$ sudo pecl install libsodium