# Precompiled REDIS extension for PHP

**URL:** <https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912>\
**Category:** Build Environment\
**Created:** [July 1, 2016, 6:50am UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912 "2016-07-01T06:50:38Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![msvrtan](https://sea2.discourse-cdn.com/circleci/user_avatar/discuss.circleci.com/msvrtan/32/2706_2.png) [@msvrtan](https://discuss.circleci.com/u/msvrtan)\
**Post date:** [July 1, 2016, 6:50am UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912/1 "2016-07-01T06:50:38Z")

</div>

Hi,

Can you precompile REDIS extension into your PHP builds? We are using PHP7 on Trusty and now have compile PREDIS (instead of native redis extension) ourselves on each build.

This step costs as 20-40 seconds on each build, with a team that has ~100 builds a day it’s becoming very expensive task.

Also I heard same from multiple other people, lot of them are using this and it would save considarable build time for both us and you.

---

<div class="post-metadata">

**Author:** ![msvrtan](https://sea2.discourse-cdn.com/circleci/user_avatar/discuss.circleci.com/msvrtan/32/2706_2.png) [@msvrtan](https://discuss.circleci.com/u/msvrtan)\
**Post date:** [July 13, 2016, 10:03am UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912/2 "2016-07-13T10:03:41Z")

</div>

@kimh any chance for this? It would save 30 seconds per each build and we build a lot

---

<div class="post-metadata">

**Author:** ![FelicianoTech](https://sea2.discourse-cdn.com/circleci/user_avatar/discuss.circleci.com/felicianotech/32/21348_2.png) [@FelicianoTech](https://discuss.circleci.com/u/FelicianoTech)\
**Post date:** [July 13, 2016, 9:54pm UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912/3 "2016-07-13T21:54:25Z")

</div>

In the meantime, you could cache your compiled Predis so that you don’t need to compile it every build.

---

<div class="post-metadata">

**Author:** ![msvrtan](https://sea2.discourse-cdn.com/circleci/user_avatar/discuss.circleci.com/msvrtan/32/2706_2.png) [@msvrtan](https://discuss.circleci.com/u/msvrtan)\
**Post date:** [July 29, 2016, 10:52am UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912/4 "2016-07-29T10:52:22Z")

</div>

How can I cache compiled predis/phpredis?

I might be doing it wrong but I tryed this steps:

1. add phpredis to cache folder
2. added if that if there is no phpredis folder run this commands

```auto
git clone -b php7 https://github.com/phpredis/phpredis.git
cd phpredis
phpize
./configure
make && make install

```

1. echo “[extension=redis.so](http://extension=redis.so)” | sudo tee -a /opt/circleci/.phpenv/versions/$(phpenv version-name)/etc/php.ini

But it didnt work. I got error that redis is missing when phpredis folder was cached

---

<div class="post-metadata">

**Author:** ![mstrouhal](https://sea2.discourse-cdn.com/circleci/user_avatar/discuss.circleci.com/mstrouhal/32/16587_2.png) [@mstrouhal](https://discuss.circleci.com/u/mstrouhal)\
**Post date:** [July 17, 2017, 11:04am UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912/5 "2017-07-17T11:04:32Z")

</div>

Hi @msvrtan,

I have solved it this way:

```auto
test -e /opt/circleci/php/7.1.3/lib/php/extensions/no-debug-non-zts-20160303/redis.so || yes '' | pecl install redis

```

---

<div class="post-metadata">

**Author:** ![system](https://global.discourse-cdn.com/circleci/original/3X/5/1/511608acda8e85906e15909b57bd0a46c1dbe291.png) [@system](https://discuss.circleci.com/u/system)\
**Post date:** [June 18, 2018, 11:38am UTC](https://discuss.circleci.com/t/precompiled-redis-extension-for-php/4912/6 "2018-06-18T11:38:28Z")

</div>