tamarin-prover-docker/Dockerfile at master · rsasse/tamarin-prover-docker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# Author: eikendev, https://eiken.dev/

FROM ubuntu:latest AS base

RUN set -xe \
	&& apt-get update \
	&& apt-get upgrade -y

FROM base AS dependencies

ENV VERSION 1.4.1
ENV MAUDE_URL http://maude.cs.illinois.edu/w/images/5/5d/Maude-2.7.1-linux.zip

RUN set -xe \
	&& mkdir -p /dependencies \
	&& apt-get install -y curl zip \
	&& curl -q -s -S -L --create-dirs -o maude.zip $MAUDE_URL \
	&& unzip maude.zip -d /dependencies \
	&& mv /dependencies/maude.linux64 /dependencies/maude \
	&& curl -q -s -S -L --create-dirs -o tamarin.tar.gz https://github.com/tamarin-prover/tamarin-prover/releases/download/$VERSION/tamarin-prover-$VERSION-linux64-ubuntu.tar.gz \
	&& tar -x -C /dependencies -f tamarin.tar.gz \
	&& chmod -R +x /dependencies

FROM base AS runtime

VOLUME /workspace

EXPOSE 3001

COPY --from=dependencies /dependencies /usr/local/bin

RUN set -xe \
	&& addgroup tamarin \
	&& adduser --disabled-password --gecos '' --ingroup tamarin tamarin \
	&& apt-get install -y graphviz \
	&& apt-get clean

USER tamarin

WORKDIR /workspace

ENTRYPOINT ["tamarin-prover"]

CMD ["interactive", "."]