Add Dockerfile

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"]