php-redis is not available via pecl, install using wget (not nice)

This commit is contained in:
Chris Boulton 2013-01-13 01:15:04 +11:00
parent ac28ca36d5
commit ab9195cf19

View File

@ -6,5 +6,7 @@ env:
- REDIS_STANDALONE=0 - REDIS_STANDALONE=0
- REDIS_STANDALONE=1 - REDIS_STANDALONE=1
before_script: before_script:
- sh -c "if [ $REDIS_STANDALONE -eq 0 ]; then wget https://github.com/nicolasff/phpredis/archive/2.2.2.zip -O php-redis.zip && unzip php-redis.zip; fi"
- sh -c "if [ $REDIS_STANDALONE -eq 0 ]; then cd phpredis-2.2.2/ && phpize && ./configure && make && make install; fi"
- sh -c "if [ $REDIS_STANDALONE -eq 0 ]; then pecl install redis && echo \"extension=redis.so\" >> `php --ini | grep \"Loaded Configuration\" | sed -e \"s|.*:\s*||\"`; fi" - sh -c "if [ $REDIS_STANDALONE -eq 0 ]; then pecl install redis && echo \"extension=redis.so\" >> `php --ini | grep \"Loaded Configuration\" | sed -e \"s|.*:\s*||\"`; fi"
- composer install --dev - composer install --dev