99aa4b04640654efbcbac5b51dc7171d533bd6dd
5 git clone
--depth 1 https
://github.com
/php
/pecl-php-raphf
$HOME/raphf
9 .
/configure
--with-php-config=$HOME/bin
/php-config
--with-pq
11 make -j2 --quiet install
13 echo 'extension=raphf.so' > $HOME/php.d
/10-raphf.ini