From eb72eea301fc846774b4af6e02af677b64c78c32 Mon Sep 17 00:00:00 2001
From: Bertrand Gauthier <bertrand.gauthier@unicaen.fr>
Date: Wed, 18 Sep 2019 14:36:40 +0200
Subject: [PATCH] Dockerfile: extension AST inutile

---
 Dockerfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 06ad62a..fdd316a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -21,9 +21,6 @@ RUN apt-get update -qq && \
         sqlite3 \
         php${PHP_VERSION}-pdo-sqlite
 
-RUN pecl install ast && \
-    echo "extension=ast.so" > ${PHP_CONF_DIR}/cli/conf.d/ast.ini
-
 # Nettoyage
 RUN apt-get autoremove -y && apt-get clean && rm -rf /tmp/* /var/tmp/*
 
-- 
GitLab