Running F* from a docker image

Running F* from a docker image

Download and install Docker for your host platform, e.g. from https://docs.docker.com/docker-for-mac/

• In a terminal, run $ docker pull fstarlang/fstar, or $ docker pull fstarlang/fstar-emacs for a version with Emacs and the F* mode preinstalled.

• You can get bash shell using $ docker run -it fstarlang/fstar

Emacs GUI on Mac OS X

• Install XQuartz

• Open an XQuartz terminal, and run $ socat TCP-LISTEN:6000,reuseaddr,fork UNIX-CLIENT:\"$DISPLAY\”

• On a Mac OS X terminal, run $ ip=$(ifconfig en0 | grep inet | awk '$1=="inet" {print $2}’) $ docker run -d -e DISPLAY=${ip}:0 fstarlang/fstar-emacs emacs

If you prefer to get a bash shell, then run

$ docker run -it -e DISPLAY=${ip}:0 fstarlang/fstar-emacs

From the shell, you can start an emacs client that will connect to your XQuartz server with just emacs.