Changes to make travis work, copied from spyridonas PR

This commit is contained in:
desaroger committed 2018-02-16 21:12:14 +01:00
1 parent c42e039945
commit 92dda4695c
2 files changed
+5 -1

No files matched your search

+1 -1
View File
@@ -177,7 +177,7 @@ ARG INSTALL_GMP=false
RUN if [ ${INSTALL_GMP} = true ]; then \
# Install the GMP extension
apt-get update -yqq && \
apt-get install -y libgmp-dev && \
apt-get install -y libgmp3-dev && \
docker-php-ext-install gmp \
;fi