https://github.com/kyori19/docker-satysfi

Docker image with SATySFi installed
https://github.com/kyori19/docker-satysfi

docker docker-image dockerfile satysfi

Last synced: about 2 months ago
JSON representation

Docker image with SATySFi installed

• Host: GitHub
• URL: https://github.com/kyori19/docker-satysfi
• Owner: kyori19
• License: mit
• Created: 2023-07-18T06:43:09.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-01-27T14:56:06.000Z (12 months ago)
• Last Synced: 2024-04-14T03:08:31.830Z (9 months ago)
• Topics: docker, docker-image, dockerfile, satysfi
• Language: Dockerfile
• Homepage: https://hub.docker.com/r/kyori/satysfi
• Size: 6.84 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# SATySFi (unofficial) Docker Image

[SATySFi](https://github.com/gfngfn/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](https://github.com/kyori19/docker-satysfi/blob/master/Dockerfile)).

* `latest` - Latest stable SATySFi

* `x.x.x` - Specific version of SATySFi

## Usage

### Run SATySFi (without dependencies)

```sh

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

```

### Install dependencies and run SATySFi

```sh

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.

```Dockerfile

FROM kyori/satysfi:latest

RUN opam install satysfi-xxx

```

## Contribution

### If you find missing versions or tags

Report to [Issues](https://github.com/kyori19/docker-satysfi/issues), I will support as soon as possible.