fstarlang/fstar-emacs not ready to allow an FStar re

[briangmilnes]

Amos Robinson wants to put in a let that won't unfold but did not know how to build. Liking a clean build, I tried it for the first time on our fstarlang/fstar-emacs (why would you build without emacs? Hell Amazon was down one day and I refused to fix it until they gave me an emacs).

Anyway, the image is not quite fully set up for building, here are the changes you need in case you want to fix this. Problem 1: You may need to run docker as root with sudo as show in the docker instructions or setup a group to allow you to run it. On the host: cd FStar sudo apt-get update -y sudo apt-get install menhir sudo apt-get install -y ocamlbuild sudo apt-get install ocamlfind sudo apt-get install ocaml opam install stdint

Do this or you won't get the right opam package.

eval $(opam env) make clean time make all -j 20

About 3m on a core-i7