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 |
$ docker run --rm -v $(pwd):/satysfi amutake/satysfi:${TAG} satysfi demo.satylatest 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