Closed gebner closed 9 months ago
The everest shell command spawns a subshell with the correct FSTAR_HOME/HACL_HOME/etc. environment variables set. This makes it easy to run e.g. cd mitls-fstar; make to debug build failures.
everest shell
FSTAR_HOME
HACL_HOME
cd mitls-fstar; make
Looks good to me, thanks!
msprotz
commented
9 months ago
The
everest shellcommand spawns a subshell with the correctFSTAR_HOME/HACL_HOME/etc. environment variables set. This makes it easy to run e.g.cd mitls-fstar; maketo debug build failures.