add redis module

3 files changed, 13 insertions, 0 deletions

diff --git a/php-7.4-opt/build.Dockerfile b/php-7.4-opt/build.Dockerfile
index 694cf0c..dc125d5 100644
--- a/php-7.4-opt/build.Dockerfile
+++ b/php-7.4-opt/build.Dockerfile
@@ -189,4 +189,16 @@ RUN cd /php-7.4.12/ext/php-memcached-3.1.5 \
   && echo extension=memcached.so > $MAIN_PREFIX_NO_ROOT/etc/conf.d/memcached.ini \
   && echo $MAIN_PREFIX_NO_ROOT/etc/conf.d/memcached.ini >> files_to_add \
   && checkinstall -y --pkgname $PACKAGE_NAME-memcached --include files_to_add
+RUN cd /php-7.4.12/ext \
+  && wget https://github.com/phpredis/phpredis/archive/5.3.3.tar.gz \
+  && tar xzf 5.3.3.tar.gz \
+  && cd phpredis-5.3.3 \
+  && $MAIN_PREFIX/bin/phpize \
+  && ./configure --with-php-config=$MAIN_PREFIX/bin/php-config \
+  && make
+RUN cd /php-7.4.12/ext/phpredis-5.3.3 \
+  && mkdir -p $MAIN_PREFIX_NO_ROOT/etc/conf.d \
+  && echo extension=redis.so > $MAIN_PREFIX_NO_ROOT/etc/conf.d/redis.ini \
+  && echo $MAIN_PREFIX_NO_ROOT/etc/conf.d/redis.ini >> files_to_add \
+  && checkinstall -y --pkgname $PACKAGE_NAME-redis --include files_to_add
 
diff --git a/php-7.4-opt/copy.Dockerfile b/php-7.4-opt/copy.Dockerfile
index 3acc8dc..8bc77d0 100644
--- a/php-7.4-opt/copy.Dockerfile
+++ b/php-7.4-opt/copy.Dockerfile
@@ -12,4 +12,5 @@ COPY --from=build-stage /php-7.4.12/ext/imagick-3.4.4/php-7.4.12-opt-imagick_3.4
 COPY --from=build-stage /php-7.4.12/ext/apcu-5.1.19/php-7.4.12-opt-apcu_5.1.19-1_amd64.deb .
 COPY --from=build-stage /libsodium-1.0.18/php-7.4.12-opt-libsodium_1.0.18-1_amd64.deb .
 COPY --from=build-stage /php-7.4.12/ext/php-memcached-3.1.5/php-7.4.12-opt-memcached_3.1.5-1_amd64.deb .
+COPY --from=build-stage /php-7.4.12/ext/phpredis-5.3.3/php-7.4.12-opt-redis_5.3.3-1_amd64.deb .
 
diff --git a/php-7.4-opt/out/php-7.4.12-opt-redis_5.3.3-1_amd64.deb b/php-7.4-opt/out/php-7.4.12-opt-redis_5.3.3-1_amd64.deb
new file mode 100644
index 0000000..a00f57d
--- /dev/null
+++ b/php-7.4-opt/out/php-7.4.12-opt-redis_5.3.3-1_amd64.deb