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.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