2017-05-26 23:33:11 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
git clone https://github.com/m6w6/ext-raphf;
|
|
|
|
|
pushd ext-raphf;
|
|
|
|
|
phpize;
|
|
|
|
|
./configure;
|
|
|
|
|
make;
|
|
|
|
|
make install;
|
|
|
|
|
popd;
|
|
|
|
|
echo "extension=raphf.so" >> "$(php -r 'echo php_ini_loaded_file();')";
|
2018-07-01 19:34:55 +02:00
|
|
|
rm -rf ext-raphf
|
