docker-satysfi

This repository provides docker images for SATySFi and Satyrographos.

Images are available at Docker Hub - amutake/satysfi.

tag	size	satysfi version	satyrographos version	opam	supported arch	note
latest, 0.0.11		0.0.11	0.0.2.13	o	amd64, arm64
slim, 0.0.11-slim		0.0.11	0.0.2.13	x	amd64, arm64
opam-slim, 0.0.11-opam-slim		0.0.11	0.0.2.13	o (minimized)	amd64, arm64	EXPERIMENTAL
nightly		master branch	master branch	x	amd64	built at 00:00 UTC every day

How to use

$ docker run --rm -v $(pwd):/satysfi amutake/satysfi:${TAG} satysfi demo.saty

latest and opam-slim tag:

$ docker run --rm -v $(pwd):/satysfi amutake/satysfi:${TAG} \
    sh -c "opam update && opam install satysfi-base && satyrographos install && satysfi demo.saty"

nightly tag:

$ docker run --rm amutake/satysfi:nightly cat /satysfi-revision
v0.0.3-397-g6137f5c
$ docker run --rm amutake/satysfi:nightly cat /satyrographos-revision
v0.0.1.6-4-geaf14c8
$ docker run --rm amutake/satysfi:nightly cat /build-date
2019-04-19T00:00:00+00:00