pratyush3757 / fstar-docker

Docker build files for fstar opam dev repo (based on alpine:latest)

fstar-docker

Notice: The package may be unstable currently. I've been trying to make it compile the packages statically, and to make the image a little slimmer.

Docker build files for Fstar language. The build is done through opam, and uses the master branch of the Fstar repo.

Installation

A built package (size: ~330M) is also published on ghcr.io. To pull the image using the command line:

docker pull ghcr.io/pratyush3757/fstar-docker:master

Usage:

The built packages are currently in /home/docker/fstar-bin/.
You will have to mount the a host folder as the binaries will only be able to access the container's filesystem.

docker run --rm -it --entrypoint /home/docker/fstar-bin/fstar.exe ghcr.io/pratyush3757/fstar-docker:master

docker run --rm -it --entrypoint /home/docker/fstar-bin/fstar.exe ghcr.io/pratyush3757/fstar-docker:master --version

docker run --rm -it --entrypoint /home/docker/fstar-bin/z3 ghcr.io/pratyush3757/fstar-docker:master --version