| 
									
										
										
										
											2020-11-13 17:47:52 +01:00
										 |  |  | FROM my_ocrd_workflow-core | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-19 18:25:10 +01:00
										 |  |  | ARG PIP_INSTALL="pip install --no-cache-dir --use-feature=2020-resolver" | 
					
						
							| 
									
										
										
										
											2020-11-13 17:47:52 +01:00
										 |  |  | ARG OCRD_FILEFORMAT_VERSION="0.1.1" | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | RUN apt-get update && \ | 
					
						
							|  |  |  |     apt-get install -y \ | 
					
						
							| 
									
										
										
										
											2020-11-16 12:59:09 +01:00
										 |  |  |       git \ | 
					
						
							| 
									
										
										
										
											2020-11-13 17:47:52 +01:00
										 |  |  |       openjdk-11-jdk-headless \ | 
					
						
							| 
									
										
										
										
											2020-11-16 12:59:09 +01:00
										 |  |  |       wget \ | 
					
						
							|  |  |  |       unzip \ | 
					
						
							| 
									
										
										
										
											2020-11-13 17:47:52 +01:00
										 |  |  |     && \ | 
					
						
							|  |  |  |     apt-get clean && rm -rf /var/lib/apt/lists/* | 
					
						
							| 
									
										
										
										
											2020-11-16 12:59:09 +01:00
										 |  |  | RUN git clone --depth 1 --branch v${OCRD_FILEFORMAT_VERSION} https://github.com/OCR-D/ocrd_fileformat.git && \ | 
					
						
							|  |  |  |     cd ocrd_fileformat/ && \ | 
					
						
							|  |  |  |     git submodule update --init && \ | 
					
						
							| 
									
										
										
										
											2020-11-13 17:47:52 +01:00
										 |  |  |     make install-fileformat install PREFIX=/usr/local && \ | 
					
						
							| 
									
										
										
										
											2020-11-16 12:59:09 +01:00
										 |  |  |     cd .. && rm -rf ocrd_fileformat/ | 
					
						
							| 
									
										
										
										
											2020-11-13 17:47:52 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | # Default command | 
					
						
							|  |  |  | CMD ['ocrd-fileformat-transform'] |