Jenkins/resources/com/cadoles/tamarin/Dockerfile

FROM alpine:3.8

ARG HTTP_PROXY=
ARG HTTPS_PROXY=
ARG http_proxy=
ARG https_proxy=

ARG TAMARIN_VERSION=253c774

RUN apk add --no-cache git docker python3 bash

RUN git clone http://forge.cadoles.com/Cadoles/Tamarin /tamarin\
  && cd /tamarin\
  && git checkout ${TAMARIN_VERSION}

RUN mkdir -p /src
RUN mkdir -p /dist && touch /dist/.dummy

VOLUME /tamarin
VOLUME /src
VOLUME /dist

ADD run-tamarin.sh /usr/local/bin/run-tamarin
RUN chmod +x /usr/local/bin/run-tamarin

CMD /usr/local/bin/run-tamarin