1
0
mirror of https://github.com/danog/amp.git synced 2024-12-03 09:57:51 +01:00
amp/travis/install-event.sh
Niklas Keller 502b4be000 Fix event extension installation
This doesn't add the extension to php.ini if the installation fails.
2017-12-19 18:27:18 +01:00

11 lines
300 B
Bash
Executable File

#!/usr/bin/env bash
curl -LS https://pecl.php.net/get/event | tar -xz \
&& pushd event-* \
&& phpize \
&& ./configure --with-event-core --with-event-extra --with-event-pthreads \
&& make \
&& make install \
&& popd \
&& echo "extension=event.so" >> "$(php -r 'echo php_ini_loaded_file();')";