SATySFi (unofficial) Docker Image

SATySFi

SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language.

Tags

All images are based on latest debian stable (Dockerfile).

• latest - Latest stable SATySFi
• x.x.x - Specific version of SATySFi

Usage

Run SATySFi (without dependencies)

docker run -v $(pwd):/work kyori/satysfi:latest satysfi /work/example.saty

Install dependencies and run SATySFi

docker run -v $(pwd):/work kyori/satysfi:latest /bin/bash

# do something in container
opam install satysfi-xxx
satysfi /work/example.saty

Build your own image

Install it in your Dockerfile based on this image. satyrographos install will automatically run on container creation.

FROM kyori/satysfi:latest

RUN opam install satysfi-xxx

Contribution

If you find missing versions or tags

Report to Issues, I will support as soon as possible.