FROM openjdk:21-bookworm

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