ARG	REGISTRY
ARG	USER
FROM	$REGISTRY/$USER/debian-stretch-titan
ARG	OSMO_TTCN3_BRANCH="master"

ADD	http://git.osmocom.org/osmo-ttcn3-hacks/patch?h=$OSMO_TTCN3_BRANCH /tmp/commit
RUN	ttcn3-docker-prepare "$OSMO_TTCN3_BRANCH" msc

VOLUME	/data

COPY	MSC_Tests.cfg /data/MSC_Tests.cfg

CMD	ttcn3-docker-run msc MSC_Tests