diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 00000000..8f6d3838 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,37 @@ +FROM openjdk:16-buster + +# install build tools +RUN apt-get update \ + && apt-get install -y --no-install-recommends \ + build-essential \ + # xprism + libxext6 libxrender1 libxtst6 \ + # preprocessing + parallel \ + python3-mako \ + && rm -rf /var/lib/apt/lists/* + + +### JAVACC +RUN wget -O /usr/local/lib/javacc.jar \ + "https://repo1.maven.org/maven2/net/java/dev/javacc/javacc/7.0.10/javacc-7.0.10.jar" \ + && echo 'java -classpath /usr/local/lib/javacc.jar javacc "$@"' > /usr/local/bin/javacc \ + && chmod +x /usr/local/bin/javacc + +### PRISM +COPY . /usr/local/src/prism + +RUN cd /usr/local/src/prism/prism \ + && make clean_all && make \ + && ln -s -t /usr/local/bin/ \ + /usr/local/src/prism/prism/bin/prism \ + /usr/local/src/prism/prism/bin/xprism \ + /usr/local/src/prism/prism/bin/ngprism + +### PROFEAT +RUN wget -O /usr/local/bin/profeat \ + "https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ProFeat/files/profeat-linux64" \ + && chmod +x /usr/local/bin/profeat + + +ENTRYPOINT ["/bin/bash"]