Posted on

Steps

Setup dependencies properly

  • opam install ocamlbuild
  • opam install ocamlfind
  • sudo pacman -S libffi
  • opam install ppx_deriving_yojson
  • opam install -I +str ppx_deriving_yojson
  • opam install str
  • opam install ctypes ctypes-foreign
  • opam uninstall integers
  • opam install ctypes
  • opam install ppx_deriving_yojson zarith pprint "menhir>=20161115" sedlex process fix "wasm>=2.0.0" visitors ctypes-foreign ctypes
  • sudo pacman -S dotnet-sdk-6.0

Actual Setup

  • Setup Link
  • ./everest z3 opam
  • You have to add path to .zshrc or .bashrc it'll show up in output
  • ./everest pull FStar make karamel make (Idk but it might help to add -j at the end?)
  • Put FStar as well in your path

Better way

$ opam switch create fstar
$ opam pin add fstar --dev-repo
$ opam pin add karamel --dev-repo

Above, you may need to run opam install fstar karamel, but I don't exactly remember

To use the Fstar switch, do the following

$ opam switch fstar
$ eval $(opam env --switch=fstar)

Copyright © Dipesh Kafle. All rights reserved. | Powered by Zola & Apollo