-
Notifications
You must be signed in to change notification settings - Fork 232
Running F* from a docker image
Santiago Zanella-Beguelin edited this page Aug 31, 2016
·
21 revisions
This page should be moved inside INSTALL.md, as a new bullet in section Binary Release
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
-
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
.