Page MenuHomeDevCentral

D768.id1940.diff
No OneTemporary

D768.id1940.diff

diff --git a/jenkins-slave-php/Dockerfile b/jenkins-slave-php/Dockerfile
--- a/jenkins-slave-php/Dockerfile
+++ b/jenkins-slave-php/Dockerfile
@@ -27,10 +27,14 @@
chmod +x pdepend.phar && ln -s /opt/pdepend.phar /usr/local/bin/pdepend && \
wget http://static.phpmd.org/php/latest/phpmd.phar && \
chmod +x /opt/phpmd.phar && ln -s /opt/phpmd.phar /usr/local/bin/phpmd && \
- pecl install xdebug && \
+ wget https://github.com/etsy/phan/releases/download/0.7/phan.phar && \
+ chmod +x /opt/phar.phar && ln -s /opt/phan.phar /usr/local/bin/phan
git clone https://github.com/phacility/libphutil.git && \
git clone https://github.com/phacility/arcanist.git && \
ln -s /opt/arcanist/bin/arc /usr/local/bin/arc && \
+ pecl install xdebug && \
+ git clone https://github.com/nikic/php-ast.git && \
+ cd /opt/php-ast && phpize && ./configure && make && make install && \
curl -sL https://deb.nodesource.com/setup_4.x | bash - && \
apt-get install -y nodejs && \
npm install -g bower gulp && \
diff --git a/jenkins-slave-php/files/usr/local/etc/php/conf.d/ast.ini b/jenkins-slave-php/files/usr/local/etc/php/conf.d/ast.ini
new file mode 100644
--- /dev/null
+++ b/jenkins-slave-php/files/usr/local/etc/php/conf.d/ast.ini
@@ -0,0 +1 @@
+extension=ast.so

File Metadata

Mime Type
text/plain
Expires
Fri, Dec 20, 04:07 (17 h, 58 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
2307383
Default Alt Text
D768.id1940.diff (1 KB)

Event Timeline