You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
1.0 KiB
37 lines
1.0 KiB
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"]
|