amp/travis/install-event.sh

#!/usr/bin/env bash

curl -LS https://pecl.php.net/get/event-2.3.0 | 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();')";
Use external scripts to install extensions for reusability 2017-04-23 14:32:22 +02:00			`#!/usr/bin/env bash`

Prevent ext-event 2.4.0RC1 and use 2.3.0 instead PHP 7.2 in combination with ext-event 2.4.0RC1 throws exceptions with invalid file descriptors, while everything works fine with 2.3.0 or PHP < 7.2. This is a temporary fix to get the build green again. Relates to #221. 2018-04-30 22:47:14 +02:00			`curl -LS https://pecl.php.net/get/event-2.3.0 \| tar -xz \`
Fix event extension installation This doesn't add the extension to php.ini if the installation fails. 2017-12-19 18:04:19 +01:00			`&& 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();')";`