diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..b0899e4 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,26 @@ + +# Running this container will start a language server that listens for TCP connections on port 2088 +# Every connection will be run in a forked child process + +# Please note that before building the image, you have to install dependencies with `composer install` + +FROM php:7-cli + +RUN apt-get update \ + # Needed for CodeSniffer + && apt-get install -y libxml2 libxml2-dev \ + && rm -rf /var/lib/apt/lists/* + +RUN docker-php-ext-configure pcntl --enable-pcntl +RUN docker-php-ext-install pcntl +COPY ./php.ini /usr/local/etc/php/conf.d/ + +COPY ./ /srv/phpls + +WORKDIR /srv/phpls + +EXPOSE 2088 + +CMD ["--tcp-server=0:2088"] + +ENTRYPOINT ["php", "bin/php-language-server.php"] diff --git a/php.ini b/php.ini new file mode 100644 index 0000000..334e2c5 --- /dev/null +++ b/php.ini @@ -0,0 +1,5 @@ + +# php.ini for Docker + +error_reporting = E_ALL +display_errors = stderr