You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: