28 lines
		
	
	
		
			717 B
		
	
	
	
		
			Docker
		
	
	
		
		
			
		
	
	
			28 lines
		
	
	
		
			717 B
		
	
	
	
		
			Docker
		
	
	
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								# 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
							 | 
						||
| 
								 | 
							
								MAINTAINER Felix Becker <felix.b@outlook.com>
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								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"]
							 |