Skip to content

Instantly share code, notes, and snippets.

@jk
Created April 29, 2019 13:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jk/3ce89210ecc80eb2c54bb7ce518a4414 to your computer and use it in GitHub Desktop.
Save jk/3ce89210ecc80eb2c54bb7ce518a4414 to your computer and use it in GitHub Desktop.
PHP 7.3 with zstd extension
FROM php:7.3
LABEL maintainer="Jens Kohl <jens.kohl@gmail.com>"
RUN apt-get update && \
apt-get install --no-install-recommends -y git-core && \
git clone --recursive --depth=1 https://github.com/kjdev/php-ext-zstd.git && \
cd php-ext-zstd && \
phpize && \
./configure && \
make -s && \
make -s install && \
echo "extension=zstd.so" > /usr/local/etc/php/conf.d/zstd.ini && \
cd .. && \
rm -rf php-ext-zstd && \
apt-get remove -y git-core && \
apt-get autoremove -y && \
rm -rf /var/lib/apt/lists/* && \
php -m | grep zstd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment